@inproceedings{ALLMS23,
	author       = {Andr{\'e}, {\'E}tienne and Lefaucheux, Engel and Lime, Didier and Marinho, Dylan and Sun, Jun},
	title        = {Configuring Timing Parameters to Ensure Execution-Time Opacity in Timed Automata},
	longbooktitle = {Proceedings of the First Workshop on Trends in Configurable Systems Analysis ({TiCSA} 2023)},
	booktitle    = {{TiCSA}},
	location     = {Paris, France},
	eventdate    = {2023-04-23},
	series       = {Electronic Proceedings in Theoretical Computer Science},
	publisher    = {Springer},
	year         = {2023},
	editor       = {ter Beek, Maurice H. and Dubslaff, Clemens},
	note         = {Invited paper.},
}