Title: Verification of the FtCayuga fault-tolerant microprocessor system
Subjects: Circuits, Computers, Fault-tolerant computing, Flight control, Design and construction