Specification and compositional verification of real time systems / J. Hooman. Berlin [u.a.] : Springer, 1991