Books by Rajeev Alur
Principles of Cyber-Physical Systems
A foundational text that offers a rigorous introduction to the principles of design, specification, modeling, and analysis of cyber-physical systems.