On the Analysis of Real-time Operating System Reliability in Embedded Systems. - Dario Mamone; Alberto Bosio; Alessandro Savino; Said Hamdioui; Maurizio Rebaudengo (DFT, 2020)