Principles of Cyber Physical Systems - Rajeev Alur; Rajeev Alur (London Cambridge, 2015)