@inproceedings{Baumann-AMICS2011,
AUTHOR = {Baumann, C. and Blasum, H. and Bormer, T. and Tverdyshev, S.},
TITLE = {Proving Memory Separation in a Microkernel by Code Level Verification},
YEAR = {2011},
BOOKTITLE = {1st International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011)},
PUBLISHER = {IEEE Computer Society},
EDITOR = {Wilfried Steiner and Roman Obermaisser},
}