@inproceedings{ALime17,
	author = {Andr{\'e}, {\'E}tienne and Lime, Didier},
	booktitle =		{{ACSD}},
	longbooktitle =		{Proceedings of the 17th International Conference on Application of Concurrency to System Design (ACSD 2017)},
	confdates = {June 25-30, 2017},
	doi = {10.1109/ACSD.2017.19},
	editor = {Alex Legay and Klaus Schneider},
	location = {Zaragoza, Spain},
	pages = {9--18},
	publisher = {IEEE},
	title = {Liveness in {L/U}-Parametric Timed Automata},
	year = {2017},
}