@misc{indiciae60bd0d51d124,
  title = {ATAC: A Tool for Automating Timed Automata Construction},
  author = {Beyazit Yalcinkaya and Ebru Aydin Gol},
  year = {2020},
  url = {https://arxiv.org/abs/1905.08169},
  note = {Source identifier: 1905.08169}
}