Text this: Formal methods for real-time and probabilistic systems :