@article {,
	title = {Timed Automata Benchmark Description},
	journal = {arXiv preprint arXiv:2005.13151},
	year = {2020},
	author = {Fontana, Peter and Cleaveland, Rance}
}
