André Platzer (2018). Logical Foundations of Cyber-Physical Systems. Springer Science+Business Media.