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