@article{TLFRP082016,
         author = {T. Santini, L. Carro, F. R. Wagner, P. Rech},
         title = {Reliability Analysis of Operating Systems and Software Stack for Embedded Systems},
         journal = {IEEE Transactions on Nuclear Science},
         year = {2016},
         month = {08},
         volume = {63},
         number = {4},
         pages = {2225-2232},
}