@misc{indiciae64838afc3d54,
  title = {LTL Parameter Synthesis of Parametric Timed Automata},
  author = {Peter Bezděk and Nikola Beneš and Jiří Barnat and Ivana Černá},
  year = {2016},
  url = {https://arxiv.org/abs/1409.3696},
  note = {Source identifier: 1409.3696}
}