Stav dette: Formal techniques in real-time and fault-tolerant systems :