Logical Foundations of Cyber-Physical Systems - Platzer, André; Platzer, André (Springer International Publishing : Imprint: Springer, 2018)