@book{29187, author = {Platzer, Andre}, title = {Logical foundations of cyber-physical systems}, publisher = {Springer,}, year = {2018}, address = {Switzerland :} }