Pātuhitia tēnei: Specification and compositional verification of real-time systems / J. Hooman.