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