Text this: Formal Methods and Hybrid Real-Time Systems