@InProceedings{Daum:VERIFY08-56,
  author =       "Matthias Daum and Jan D{\"o}rrenb{\"a}cher and
                 Sebastian Bogan",
  title =        "Model Stack for the Pervasive Verification of a
                 Microkernel-Based Operating System",
  pages =        "56--70",
  booktitle =    "Proceedings, 5th International Verification Workshop
                 (VERIFY), Sydney, Australia",
  editor =       "Bernhard Beckert and Gerwin Klein",
  month =        aug,
  year =         "2008",
  series =       "CEUR Workshop Proceedings",
  volume =       "372",
  publisher =    "CEUR-WS.org",
  URL =          "http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-372/paper07.pdf",
}