@misc{indiciae0e1a20151158,
  title = {Formalizing Time4sys using parametric timed automata},
  author = {Étienne André},
  year = {2019},
  doi = {10.1109/tase.2019.00031},
  url = {https://arxiv.org/abs/1905.09458},
  note = {Source identifier: 1905.09458}
}