@inproceedings{ALLMS23,
  author       = {Andr{\'{e}}, {\'{E}}tienne and
                  Lefaucheux, Engel and
                  Lime, Didier and
                  Marinho, Dylan and
                  Sun, Jun},
  editor       = {ter Beek, Maurice H. and
                  Dubslaff, Clemens},
  title        = {Configuring Timing Parameters to Ensure Execution-Time Opacity in
                  Timed Automata},
  booktitle    = {Proceedings of the First Workshop on Trends in Configurable Systems
                  Analysis, TiCSA@ETAPS 2023},
  location      = {Paris, France},
  eventdate     = {2023-04-23},
  series       = {{EPTCS}},
  volume       = {392},
  pages        = {1--26},
  year         = {2023},
  doi          = {10.4204/EPTCS.392.1}
}