Specification and compositional verification of real-time systems - Hooman, Jozef J. M. (Springer, 1991)