Title: Specification and verification of hybrid and real time systems