@misc{indiciae472d503c1e05,
  title = {Formal Simulation and Visualisation of Hybrid Programs},
  author = {Pedro Mendes and Ricardo Correia and Renato Neves and José Proença},
  year = {2024},
  doi = {10.4204/eptcs.411.2},
  url = {https://arxiv.org/abs/2411.14365},
  note = {Source identifier: 2411.14365}
}