@inproceedings{ACFJL19,
	author = {Andr{\'e}, {\'E}tienne and Coquard, Emmanuel and Fribourg, Laurent and Jerray, Jawher and Lesens, David},
	title = {Scheduling synthesis for a launcher flight control using parametric stopwatch automata},
	longbooktitle = {Proceedings of the 19th International Conference on Application of Concurrency to System Design ({ACSD} 2019)},
	booktitle = {{ACSD}},
	editor = {Keller, Jörg and Penczek, Wojciech},
	location = {Aachen, Germany},
	eventdate = {2019-06-27},
	pages     = {13--22},
	publisher = {{IEEE}},
	year = {2019},
	doi       = {10.1109/ACSD.2019.00006},
	keywords = {intc},
	coreRank = {B},
}