Distributed fault-tolerant real-time systems: the Mars approach | IEEE Journals & Magazine | IEEE Xplore