@inproceedings{Andre16,
	author = {Andr{\'e}, {\'E}tienne},
	booktitle =		{Proceedings of the 13th International Colloquium on Theoretical Aspects of Computing (ICTAC'16)},
	editor = {Augusto Cesar Alves Sampaio and Wang, Farn},
	doi = {10.1007/978-3-319-46750-4_27},
	location = {Taipei, Taiwan},
	pages = {469--478},
	publisher = {Springer},
	series    = {Lecture Notes in Computer Science},
	volume = {9965},
	title = {Parametric Deadlock-Freeness Checking Timed Automata},
	year = {2016},
}