@misc{indiciaec2c791cbc4ab,
  title = {Modeling and Verifying Cyber-Physical Systems with Hybrid Active Objects},
  author = {Eduard Kamburjan and Stefan Mitsch and Martina Kettenbach and Reiner Hähnle},
  year = {2019},
  url = {https://arxiv.org/abs/1906.05704},
  note = {Source identifier: 1906.05704}
}