@inproceedings{Andre15,
	author = {Andr{\'e}, {\'E}tienne},
	title = {What's decidable about parametric timed automata?},
	longbooktitle = {Proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems ({FTSCS} 2015)},
	booktitle = {{FTSCS}},
	doi = {10.1007/978-3-319-29510-7_3},
	editor = {Artho, Cyrille and Ölveczky, Peter Csaba},
	location = {Paris, France},
	pages = {52--68},
	publisher = {Springer},
	series    = {Communications in Computer and Information Science},
	volume = {596},
	year = {2016},
}