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