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