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