@article{Heiser_EKKP_07,
    author           = {Heiser, Gernot and Elphinstone, Kevin and Kuz, Ihor and Klein, Gerwin and Petters, Stefan M.},
    issn             = {0163-5980},
    journal          = {ACM Operating Systems Review},
    keywords         = {security safety dependability real-time},
    month            = dec,
    number           = {4},
    pages            = {3--11},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/541.pdf},
    title            = {Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level},
    volume           = {41},
    year             = {2007}
  }