@misc{indiciaef34dbd1a4bc3,
  title = {Time for Quiescence: Modelling quiescent behaviour in testing via time-outs in timed automata},
  author = {Laura Brandán Briones and Marcus Gerhold and Petra van den Bos and Mariëlle Stoelinga},
  year = {2025},
  url = {https://arxiv.org/abs/2507.18205},
  note = {Source identifier: 2507.18205}
}