@Article{Heiser_EKKP_07,
  author =       {Gernot Heiser and Kevin Elphinstone and Ihor Kuz and
                  Gerwin Klein and Stefan M. Petters},
  title =        {Towards Trustworthy Computing Systems: Taking
                  Microkernels to the Next Level},
  journal =      {Operating Systems Review},
  year =         2007,
  month =        jul,
  volume =       {41},
  number =       {3},
  pages =        {3--11},
}