Minos—the design and implementation of an embedded real-time operating system with a perspective of fault tolerance | IEEE Conference Publication | IEEE Xplore