@inbook{Petters_EH_12,
    author           = {Petters, Stefan M. and Elphinstone, Kevin and Heiser, Gernot},
    booktitle        = {Advances in Real-Time Systems},
    editor           = {{Samarjit Chakraborty and J\"org Ebersp\"acher}},
    isbn             = {978-3-642-24348-6},
    keywords         = {real-time systems, operating systems, worst-case execution time analysis},
    month            = jan,
    pages            = {191--206},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5709.pdf},
    publisher        = {Springer},
    series           = {Signals \& Communication},
    title            = {Trustworthy Real-Time Systems},
    year             = {2012}
  }