@article{Bersani_2015,
    doi = {10.1007/s00236-015-0229-y},
    url = {https://doi.org/10.1007%2Fs00236-015-0229-y},
    year = {2015},
    month = {apr},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {53},
    number = {2},
    pages = {171--206},
    author = {Marcello M. Bersani and Matteo Rossi and Pierluigi San Pietro},
    title = {A tool for deciding the satisfiability of continuous-time metric temporal logic},
    journal = {Acta Informatica}
}

@article{Bersani_2015, doi = {10.1007/s00236-015-0229-y}, url = {https://doi.org/10.1007%2Fs00236-015-0229-y}, year = {2015}, month = {apr}, publisher = {Springer Science and Business Media {LLC}}, volume = {53}, number = {2}, pages = {171--206}, author = {Marcello M. Bersani and Matteo Rossi and Pierluigi San Pietro}, title = {A tool for deciding the satisfiability of continuous-time metric temporal logic}, journal = {Acta Informatica} }