@inproceedings{Ba09EW,
AUTHOR = {Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T.},
TITLE = {Better Avionics Software Reliability by Code Verification},
YEAR = {2009},
URL = {http:///publikationen/Ba09EW.pdf},
BOOKTITLE = {embedded world 2009 proceedings & conference materials },
PUBLISHER = {WEKA FACHMEDIEN GmbH},
EDITOR = {Sturm, M.},
}