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