@inproceedings{BaumannBormer09,
  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'09)},
  series    = {Aachener Informatik Berichte},
  publisher = {RWTH Aachen University},
  editor    = {Huuck, R. and Klein, G. and Schlich, B.},
  year      = {2009}
}