On the Analysis of Real-time Operating System Reliability in Embedded Systems | IEEE Conference Publication | IEEE Xplore