Text this: Formal methods and hybrid real-time systems :