Principles of cyber-physical systems - Alur, Rajeev (The MIT Press, 2015)