Title: Symposium on Real-Time and Hybrid Systems
Subjects: Software engineering