Platform independent safety-critical operating system | IEEE Conference Publication | IEEE Xplore