@misc{indiciae976a978ecb06,
  title = {A Benchmarks Library for Extended Parametric Timed Automata},
  author = {Étienne André and Dylan Marinho and Jaco van de Pol},
  year = {2021},
  doi = {10.1007/978-3-030-79379-1\_3},
  url = {https://arxiv.org/abs/2106.10232},
  note = {Source identifier: 2106.10232}
}