@inproceedings{MA:05a, author = {Gabor Madl and Sherif Abdelwahed}, title = {{Formal Verification of Distributed Preemptive Real-time Scheduling}}, booktitle = {{ISIS Technical Report}}, year = {2005} }