Reliability Analysis of Operating Systems for Embedded SoC | IEEE Conference Publication | IEEE Xplore