@inproceedings{ALR18ACSD,
	author = {Andr{\'e}, {\'E}tienne and Lime, Didier and Ramparison, Mathias},
	title = {Timed automata with parametric updates},
	booktitle = {{ACSD}},
	longbooktitle = {Proceedings of the 18th International Conference on Application of Concurrency to System Design ({ACSD} 2018)},
	confdates = {June 24-29, 2018},
	doi = {10.1109/ACSD.2018.000-2},
	editor = {Juhás, Gabriel and Chatain, Thomas and Grosu, Radu},
	location = {Bratislava, Slovakia},
	pages = {21--29},
	publisher = {IEEE},
	year = {2018},
}