@book{18099, author = {Alur, Rajeev,}, title = {Principles of cyber-physical systems /}, publisher = {MIT,}, year = {2015.}, address = {Cambridge, Massachusetts :} }