Overview of logical foundations of cyber-physical systems

@ARTICLE{DBLP:conf/mod/Platzer19,

  author    = {Andr{\'{e}} Platzer},
  title     = {Overview of Logical Foundations of Cyber-Physical Systems},
  journal   = {CoRR},
  volume    = {abs/1910.11232},
  year      = {2019},
  url       = {http://arxiv.org/abs/1910.11232},
  archivePrefix = {arXiv},
  eprint    = {1910.11232},
}```