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