@inproceedings{ALM23,
  	author       = {Andr{\'e}, {\'E}tienne and Lefaucheux, Engel and Marinho, Dylan},
	editor       = {Ait-Ameur, Yamine and Khendek, Ferhat},
	title        = {Expiring opacity problems in parametric timed automata},
	year         = {2023},
	longbooktitle = {Proceedings of the 27th International Conference on Engineering of Complex Computer Systems ({ICECCS} 2023)},
	booktitle    = {{ICECCS}},
	location     = {Toulouse, France},
	eventdate    = {2023-06-14/2023-06-16},
	pages        = {89-98},
	acceptanceRate = {31\,\%},
	doi          = {10.1109/ICECCS59891.2023.00020},
	coreRank     = {Brank},
}