@phdthesis{Blackham:phd,
    address          = {Sydney, Australia},
    author           = {Blackham, Bernard},
    keywords         = {real-time systems; worst-case execution time; microkernels; mixed-criticality systems; reliable
                        systems},
    month            = oct,
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/7634.pdf},
    school           = {UNSW},
    title            = {Towards Verified Microkernels for Real-Time Mixed-Criticality Systems},
    type             = {{PhD} Thesis},
    year             = {2013}
  }