@book{227054,
	author = {Twan Basten, Roelof Hamberg, Frans Reckers, Jacques Verriet},
	title = {Model-Based Design of Adaptive Embedded Systems},
	publisher = {Springer New York},
	year = {2013},
	address = {New York}
}