@article{ALMS22,
  author    = {Andr{\'e}, {\'E}tienne and
        Lime, Didier and
        Marinho, Dylan and
        Sun, Jun},
  title     = {Guaranteeing Timed Opacity using Parametric Timed Model Checking},
  journal   = {{ACM} Transactions on Software Engineering and Methodology},
  volume    = {31},
  month     = oct,
  number    = {4},
  pages     = {64:1--64:36},
  year      = {2022},
  url       = {https://doi.org/10.1145/3502851},
  doi       = {10.1145/3502851},
}