Keiren, J. J., Fontana, P., & Cleaveland, R. (2017). A Menagerie of Timed Automata (vol 50, 42, 2017). ACM COMPUTING SURVEYS, 50.
