@misc{indiciaee00da41f502a,
  title = {Verifying MITL formulae on Timed Automata considering a Continuous Time Semantics},
  author = {Claudio Menghi and Marcello Bersani and Matteo Rossi and Pierluigi San Pietro},
  year = {2019},
  url = {https://arxiv.org/abs/1806.08684},
  note = {Source identifier: 1806.08684}
}