Formal techniques in real-time and fault-tolerant systems (Kluwer Academic Publishers, 1993)