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