@inproceedings{Singal_Petters_07,
    address          = {Sydney, Australia},
    author           = {Mohit Singal and Stefan M. Petters},
    booktitle        = {International Workshop on Microkernels for Embedded Systems},
    month            = jan,
    organization     = {NICTA},
    paperurl         = {https://trustworthy.systems/publications/papers/Singal_Petters_07.pdf},
    title            = {Issues in Analysing {L4} for its {WCET}},
    year             = {2007}
  }