Logical foundations of cyber-physical systems - Platzer, André (Springer, 2018)