@InProceedings{Baumann:DSSSV2009-20,
  author =       "Christoph Baumann and Thorsten Bormer",
  title =        "Verifying the {PikeOS} Microkernel: {First} Results in
                 the {Verisoft} {XT} {Avionics} Project",
  booktitle =    "Doctoral Symposium on Systems Software Verification
                 (DS SSV 2009)",
  editor =       "Ralf Huuck and Gerwin Klein and Bastian Schlich",
  year =         "2009",
  month =        jun,
  series =       "Aachener Informatik Berichte",
  number =       "AIB-2009-14",
  pages =        "20--22",
  publisher =    "Department of Computer Science, RWTH Aachen",
  URL =          "http://aib.informatik.rwth-aachen.de/2009/2009-14.pdf",
  year =         "2009",
}