Specification and analysis of concurrent systems the COSY approach - Janicki, Ryszard (EATCS monographs on theoretical computer science, 1992)