A new textbook on cyber-physical systems just appeared in print and electronically:
Andre Platzer. Logical Foundations of Cyber-Physical Systems. Springer, 2018. 659 pages. http://www.springer.com/978-3-319-63587-3
