Specification and compositional verification of real-time systems - Hooman J (Berlin Springer Verlag, 1991)
Keywords: Real time system