Logical Foundations of Cyber-Physical Systems - Platzer, André (Springer International Publishing, 2020)