Formal Techniques in Real-Time and Fault-Tolerant Systems by E-.R. Olderog & W. Damm