@article {,
	title = {Corrections to "A Menagerie of Timed Automata"},
	journal = {ACM Comput. Surv.},
	volume = {50},
	year = {2017},
	pages = {42:1{\textendash}42:8},
	keywords = {Timed automata, timed transition systems, transition systems},
	issn = {0360-0300},
	doi = {10.1145/3078809},
	url = {http://doi.acm.org/10.1145/3078809},
	author = {Keiren, Jeroen J. A. and Fontana, Peter and Cleaveland, Rance}
}
