Analyzing Embedded Systems Code for Mixed-Critical Systems using Hybrid Memory Representations

@inproceedings { BBSK11,
	location = { Newport Beach, CA, USA },
	doi = { 10.1109/ISORCW.2011.40 },
	author = { Beckschulze, Eva and Brauer, J{"o}rg and Stollenwerk,
		Andr{'e} and Kowalewski, Stefan },
	title = { Analyzing Embedded Systems Code for Mixed-Critical Systems
		using Hybrid Memory Representations },
	booktitle = { 2011 14th IEEE International Symposium on
		Object/Component/Service-Oriented Real-Time Distributed
		Computing Workshops ISORCW 2011 },
	publisher = { IEEE },
	publishedas = { Druck Online },
	isbn = { 978-1-4577-0303-4 },
	language = { eng },
	pages = { 33--40 },
	year = { 2011 },
	timestamp = { 2010.12.23 },
	i11key = { conference },
	url = { http://publications.embedded.rwth-aachen.de/file/4f },
	for_reporting_period = { 2011 },
}