@misc{indiciaeef621d3a1a9a,
  title = {Overview of Logical Foundations of Cyber-Physical Systems},
  author = {André Platzer},
  year = {2019},
  url = {https://arxiv.org/abs/1910.11232},
  note = {Source identifier: 1910.11232}
}