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