Text this: Symposium on Real-Time and Hybrid Systems