Formal Techniques In Real-Time And Fault-Tolerant Systems by Anders P. Ravn