Specification and verification of real time systems in ACP - Groote, Jan F. (1990)