Date: April 13-16. 2009
Location: San Francisco, CA, USA
Website: http://www.rtas.org/rtas2009/index.htm
G. Madl, N. Dutt, S. Abdelwahed, “A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata,” IEEE Real-Time and Embedded Technology and Applications Symposium 2009:255-264