Title: Formal Techniques in Real-Time and Fault-Tolerant Systems
Subjects: Congresses, Real-time data processing, Fault-tolerant computing