@inproceedings{Schaefer_SPH_06,
    address          = {Sydney, Australia},
    author           = {Stefan Schaefer and Bernhard Scholz and Stefan M. Petters and Gernot Heiser},
    booktitle        = {12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications,
                        Work-in-Progress Session},
    month            = aug,
    paperurl         = {https://trustworthy.systems/publications/papers/Schaefer_SPH_06.pdf},
    title            = {Static Analysis Support for Measurement-based {WCET} Analysis},
    year             = {2006}
  }