@misc{indiciae764f12a4410c,
  title = {Corrections to A Menagerie of Timed Automata},
  author = {Jeroen J. A. Keiren and Peter Fontana and Rance Cleaveland},
  year = {2016},
  doi = {10.1145/3078809},
  url = {https://arxiv.org/abs/1602.07165},
  note = {Source identifier: 1602.07165}
}