@inproceedings{Blackham_SCRH_11,
    address          = {Vienna, Austria},
    author           = {Blackham, Bernard and Shi, Yao and Chattopadhyay, Sudipta and Roychoudhury, Abhik and Heiser, Gernot},
    booktitle        = {IEEE Real-Time Systems Symposium},
    keywords         = {wcet, microkernels, trusted systems, real-time systems},
    month            = nov,
    pages            = {339--348},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/4863.pdf},
    publisher        = {IEEE Computer Society},
    title            = {Timing Analysis of a Protected Operating System Kernel},
    year             = {2011}
  }