@article{Heiser_05,
    month            = dec,
    journal          = {USENIX ;login:},
    volume           = {30},
    number           = {6},
    author           = {Gernot Heiser},
    year             = {2005},
    pages            = {9--13},
    paperurl         = {https://trustworthy.systems/publications/papers/Heiser_05.pdf},
    title            = {Secure Embedded Systems Need Microkernels}
  }