Keiren, J. J. A., Fontana, P., & Cleaveland, R. (2017). A Menagerie of Timed Automata (vol 50, 42, 2017). Acm Computing Surveys, 50.
