@misc{indiciaea1215331d704,
  title = {Zone-based verification of timed automata: extrapolations, simulations and what next?},
  author = {Patricia Bouyer and Paul Gastin and Frédéric Herbreteau and Ocan Sankur and B. Srivathsan},
  year = {2022},
  url = {https://arxiv.org/abs/2207.07479},
  note = {Source identifier: 2207.07479}
}