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