@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} }