Formal techniques in real-time and fault-tolerant systems by Joachim Parrow | Menrva Books