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