Text this: Modeling and verification of real-time systems :