@article {,
	title = {A Menagerie of Timed Automata (vol 50, 42, 2017)},
	journal = {ACM COMPUTING SURVEYS},
	volume = {50},
	year = {2017},
	author = {Keiren, Jeroen JA and Fontana, Peter and Cleaveland, Rance}
}
