Title: Making real-time reactive systems reliable
Subjects: Fault-tolerant computing