@InProceedings{Baumann:SAFECOMP2009-187,
  author =       "Christoph Baumann and Bernhard Beckert and Holger
                 Blasum and Thorsten Bormer",
  title =        "Formal Verification of a Microkernel Used in
                 Dependable Software Systems",
  pages =        "187--200",
  ee =           "http://dx.doi.org/10.1007/978-3-642-04468-7_16",
  URL =          "http://www.uni-koblenz.de/~beckert/pub/safecomp2009.pdf",
  year =         "2009",
  booktitle =    "Computer Safety, Reliability, and Security (SAFECOMP
                 2009)",
  address =      "Hamburg, Germany",
  publisher =    "Springer",
  series =       "Lecture Notes in Computer Science",
  volume =       "5775",
  editor =       "Bettina Buth and Gerd Rabe and Till Seyfarth",
}