%0 Journal Article
%K Timed automata
%K timed transition systems
%K transition systems
%B ACM Comput. Surv.
%D 2017
%G eng
%P 42:1–42:8
%R 10.1145/3078809
%T Corrections to "A Menagerie of Timed Automata"
%U http://doi.acm.org/10.1145/3078809
%V 50