@misc{indiciae1597f28a8eee,
  title = {Formal, Executable and Explainable Runtime Monitoring of Spoken Air Traffic Control Operational Procedures},
  author = {Roberto Luvini and Giacomo Longo and Alessandro Armando and Enrico Russo},
  year = {2026},
  url = {https://arxiv.org/abs/2608.25926},
  note = {Source identifier: 2608.25926}
}