Text this: Specification and compositional verification of real-time systems /