A fault-tolerant temporal partitioning scheme for safety-critical mission computers | IEEE Conference Publication | IEEE Xplore