Modeling the Environment of Microcontrollers to Tackle the State-Explosion Problem in Model Checking

@inproceedings { SGK08,
	address = { Budapest, Hungary },
	author = { Schlich, Bastian and G{"u}ckel, Dominique and Kowalewski,
		Stefan },
	booktitle = { Formal Methods for Automation and Safety in Railway and
		Automotive  Systems (FORMS/FORMAT 2008), Budapest, Hungary },
	editor = { Tarnai, G. and Schnieder, E. },
	isbn = { 978-963-236-138-3 },
	pages = { 27--34 },
	publisher = { L'Harmattan },
	title = { Modeling the Environment of Microcontrollers to Tackle the
		State-Explosion  Problem in Model Checking },
	year = { 2008 },
	i11key = { conference },
	for_reporting_period = { Old },
}