@misc{indiciae3bd00fe227e7,
  title = {Execution-Time Opacity Logic: A Logic for Ensuring ET-Opacity in Timed Systems},
  author = {Jean Leneutre and Dylan Marinho and Vadim Malvone and James Ortiz},
  year = {2026},
  url = {https://arxiv.org/abs/2609.10066},
  note = {Source identifier: 2609.10066}
}