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
Keiren, J. J., Fontana, P., & Cleaveland, R. (2017). A Menagerie of Timed Automata (vol 50, 42, 2017). ACM COMPUTING SURVEYS, 50.
Fontana, P., & Cleaveland, R. (2020). Timed Automata Benchmark Description. ArXiv Preprint ArXiv:2005.13151.
