@misc{indiciaebc4b227380fd,
  title = {What's decidable about parametric timed automata?},
  author = {Étienne André},
  year = {2019},
  doi = {10.1007/s10009-017-0467-0},
  url = {https://arxiv.org/abs/1907.01721},
  note = {Source identifier: 1907.01721}
}