@inproceedings{Ba09Safecomp,
AUTHOR = {Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T.},
TITLE = { Formal Verification of a Microkernel Used in Dependable Software Systems},
VOLUME = {5775},
YEAR = {2009},
PAGES = {187-200},
SERIES = {Lecture Notes in Computer Science},
BOOKTITLE = {Computer Safety, Reliability, and Security (Safecomp 2009)},
PUBLISHER = {Springer Berlin / Heidelberg},
EDITOR = {Buth, Bettina; Rabe, Gerd; Seyfarth, Till },
EE = {http://dx.doi.org/10.1007/978-3-642-04468-7_16},
}