  @inproceedings{Blackham_TH_12,
    address          = {Seoul, Korea},
    author           = {Blackham, Bernard and Tang, Vernon and Heiser, Gernot},
    booktitle        = {Asia-Pacific Workshop on Systems (APSys)},
    doi              = {10.1145/2349896.2349904},
    keywords         = {real-time systems, trustworthy systems, microkernels},
    month            = jul,
    pages            = {7},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/5859.pdf},
    publisher        = {ACM},
    slides           = {https://trustworthy.systems/publications/nicta_slides/5859.pdf},
    title            = {To Preempt or Not To Preempt, That Is the Question},
    year             = {2012}
  }