@inproceedings{AAPP21,
  	author		=	{Andr{\'e}, {\'E}tienne and Arias, Jaime and Petrucci, Laure and van de Pol, Jaco},
  	title		=	{Iterative Bounded Synthesis for Efficient Cycle Detection in Parametric Timed Automata},
	year		=	{2021},
	longbooktitle = {Proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems ({TACAS} 2021)},
	booktitle	= {{TACAS}},
	editor		= {Jan Friso Groote and Larsen, Kim G.},
	location	= {Virtual},
	eventdate	= {2021-03-27/2021-04-01},
	doi			= {10.1007/978-3-030-72016-2_17},
	pages		= {311-329},
	publisher	= {Springer},
	volume		= {12651},
	coreRank	= {Arank},
	keywords	= {intc},
	acceptanceRate = {33\,\%},
}