@inproceedings{Blackham_SH_12,
    address          = {Bern, Switzerland},
    author           = {Blackham, Bernard and Shi, Yao and Heiser, Gernot},
    booktitle        = {EuroSys Conference},
    doi              = {http://doi.acm.org/10.1145/2168836.2168869},
    keywords         = {microkernels, worst-case execution time, hard real-time systems, trusted systems, formal
                        verification},
    month            = apr,
    pages            = {323--336},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5391.pdf},
    publisher        = {USENIX},
    slides           = {https://trustworthy.systems/publications/nicta_slides/5391.pdf},
    title            = {Improving Interrupt Response Time in a Verifiable Protected Microkernel},
    year             = {2012}
  }