Title: Formal techniques in real-time and fault-tolerant systems
Subjects: Real-time data processing, Fault-tolerant computing