@inproceedings{SGM10-1,
  title = "{A Self-Adversarial Approach to Delay Analysis under Arbitrary Scheduling}",
  author = "Jens Schmitt and Hao Wang and Ivan Martinovic",
  year = "2010",
  booktitle = "{Proceedings of 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)}",
  month = "oct",
  publisher = "Springer Verlag",
}