Gabor Madl, Nikil Dutt, Sherif Abdelwahed. A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata. In 15th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2009, San Francisco, CA, USA, 13-16 April 2009. pages 255-264, IEEE Computer Society, 2009. [doi]
Abstract is missing.