@article{80,
  author = {Peter Fontana and Rance Cleaveland},
  title = {Timed Automata Benchmark Description},
  year = {2020},
  journal = {arXiv preprint arXiv:2005.13151},
  language = {eng},
}