@misc{indiciaeb162a5b0fa2b,
  title = {Improved Bounded Model Checking of Timed Automata},
  author = {Robert L. Smith and Marcello M. Bersani and Matteo Rossi and Pierluigi San Pietro},
  year = {2021},
  url = {https://arxiv.org/abs/2104.12444},
  note = {Source identifier: 2104.12444}
}