@inproceedings{Ba09SSV,
AUTHOR = {Baumann, C. and Bormer, T.},
TITLE = {Verifying the PikeOS Microkernel: First Results in the Verisoft XT Avionics Project},
VOLUME = {AIB-2009-14 },
YEAR = {2009},
PAGES = {20-22},
URL = {http:///publikationen/Ba09SSV.pdf},
SERIES = {Aachener Informatik Berichte},
BOOKTITLE = {Doctoral Symposium on Systems Software Verification (DS SSV'09) },
PUBLISHER = {RWTH Aachen University},
EDITOR = {Huuck, R. and Klein, G. and Schlich, B.},
EE = {http://aib.informatik.rwth-aachen.de/2009/2009-14.pdf},
}