Principles of cyber-physical systems / Rajeev Alur. Cambridge, Mass. [u.a.] : MIT Press, 2015