@inproceedings{ALR15,
	author = {Andr{\'e}, {\'E}tienne and Lime, Didier and Roux, Olivier H.},
	title = {Integer-Complete Synthesis for Bounded Parametric Timed Automata},
	longbooktitle = {Proceedings of the 9th International Workshop on Reachability Problems ({RP} 2015)},
	booktitle = {{RP}},
	doi = {10.1007/978-3-319-24537-9_2},
	editor = {Boja\'nczyk, Miko\l{}aj and Lasota, S\l{}awomir and Potapov, Igor},
	location = {Warsaw, Poland},
	month = sep,
	pages = {7--19},
	publisher = {Springer},
	series    = {Lecture Notes in Computer Science},
	volume = {9328},
	year = {2015},
}