Specification and verification of hybrid and real time systems | lit.salon