Title: Refinement for fault-tolerance
Subjects: Computer programs, Air traffic control, Fault-tolerant computing, Design and construction