@misc{indiciae3db001db7e62,
  title = {strategFTO: Untimed control for timed opacity},
  author = {Étienne André and Shapagat Bolat and Engel Lefaucheux and Dylan Marinho},
  year = {2022},
  doi = {10.1145/3563822.3568013},
  url = {https://arxiv.org/abs/2211.14233},
  note = {Source identifier: 2211.14233}
}