@book{5579,
	author = {Alur, Rajeev},
	title = {Principles of cyber-physical systems.},
	publisher = {The MIT Press,},
	year = {2015.},
	address = {Cambridge,}
}