Keiren, J. J. A., Fontana, P., & Cleaveland, R. (2017). Corrections to "A Menagerie of Timed Automata". Acm Comput. Surv., 50, 42:1–42:8. https://doi.org/10.1145/3078809
