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