@inproceedings{MDA:09,
  author = {Gabor Madl and Nikil Dutt and Sherif Abdelwahed},
  title = {{A Conservative Approximation Method for the Verification of Preemptive Scheduling using Timed Automata}},
  booktitle = {{Proceedings of RTAS}},
  pages = {255--264},
  year = {2009},
  month = {April}
}