@book {9783832593636, 
	title = "Technologies for Engineering Manufacturing Systems Control in Closed Loop",
	author = "Preuße, Sebastian",
	isbn = "9783832593636",
	year = "2013",
	keywords = "model checking, closed-loop modeling, closed-loop analysis, specification technologies, model generation",
	url = "http://www.content-select.com/index.php?id=bib_view&ean=9783832593636",
	url = "https://content-select.com/de/portal/media/view/58a72a27-c9f4-43af-826b-452bb0dd2d03",
	publisher = "Logos Verlag",
	language = "eng",
}