%0 Journal Article
%B ACM COMPUTING SURVEYS
%D 2017
%G eng
%T A Menagerie of Timed Automata (vol 50, 42, 2017)
%V 50