Text this: Hybrid and Real-Time Systems