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. A., 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.
