Reliability Analysis of Operating Systems and Software Stack for Embedded Systems | IEEE Journals & Magazine | IEEE Xplore