Principles of Cyber-Physical Systems by Rajeev Alur (Hardback, 2015)