@conference {179,
	title = {State-of-the-art tools and techniques for quantitative modeling and analysis of embedded systems},
	booktitle = {2012 Design, Automation {\&} Test in Europe Conference {\&} Exhibition, DATE 2012, Dresden, Germany, March 12-16, 2012},
	year = {2012},
	publisher = {IEEE},
	organization = {IEEE},
	author = {Marius Bozga and Alexandre David and Arnd Hartmanns and Holger Hermanns and Kim G. Larsen and Axel Legay and Jan Tretmans},
	editor = {Wolfgang Rosenstiel and Lothar Thiele}
}