Minos - the design and implementation of an embedded real-time operating system with a perspective of fault tolerance.