@article{72,
  author = {Jeroen Keiren and Peter Fontana and Rance Cleaveland},
  title = {A Menagerie of Timed Automata (vol 50, 42, 2017)},
  year = {2017},
  journal = {ACM COMPUTING SURVEYS},
  volume = {50},
  language = {eng},
}