System-Level Verification of Embedded Operating Systems Components | IEEE Conference Publication | IEEE Xplore