TTP/spl minus/a protocol for fault-tolerant real-time systems | IEEE Journals & Magazine | IEEE Xplore