@inproceedings{Petters_05,
    address          = {Hong Kong, China},
    author           = {Stefan M. Petters},
    booktitle        = {IEEE Conference on Embedded and Real-Time Computing and Applications},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/papers/Petters_05.pdf},
    title            = {Deadline spanning: A graph based approach},
    year             = {2005}
  }