@inproceedings{Ba10EW,
AUTHOR = {Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T.},
TITLE = {Ingredients of Operating System Correctness},
YEAR = {2010},
BOOKTITLE = {embedded world 2010 proceedings & conference materials },
PUBLISHER = {WEKA FACHMEDIEN GmbH},
EDITOR = {Sturm, M.},
}