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