@conference {180,
	title = {MODEST - A unified language for quantitative models},
	booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012},
	year = {2012},
	publisher = {IEEE},
	organization = {IEEE},
	author = {Arnd Hartmanns}
}