@inproceedings{Blackham_SH_11,
    address          = {Shanghai, China},
    author           = {Blackham, Bernard and Shi, Yao and Heiser, Gernot},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    keywords         = {wcet, microkernels, trusted systems, real-time systems},
    month            = jul,
    pages            = {5},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4862.pdf},
    publisher        = {ACM},
    title            = {Protected Hard Real-time: The Next Frontier},
    year             = {2011}
  }