Specification and Analysis of Concurrent Systems door Peter E. Lauer & Ryszard Janicki