@inproceedings{AMP21,
  	author =	{Andr{\'e}, {\'E}tienne and Marinho, Dylan and van de Pol, Jaco},
  	title =	{A Benchmarks Library for Extended Timed Automata},
	year =	{2021},
	longbooktitle = {Proceedings of the 15th International Conference on Tests and Proofs ({TAP} 2021)},
	booktitle = {{TAP}},
	editor = {Frédéric Loulergue and Franz Wotawa},
	location = {virtual},
	eventdate = {2021-06-21/2021-06-25},
	doi			= {10.1007/978-3-030-79379-1_3},
	pages		= {39-50},
	publisher	= {Springer},
	series    = {Lecture Notes in Computer Science},
	volume		= {12740},
	coreRank = {Brank},
}