K. Chatterjee, A. Kößler, U. Schmid:
"Automated Analysis of Real-Time Scheduling using Graph Games";
Talk: ACM International Conference on Hybrid Systems: Computation and Control, Philadelphia, USA; 2013-04-08 - 2013-04-11; in: "Proceedings 16th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'13)", ACM, (2013), 163 - 172.