@article{Chiari_2020,
    doi = {10.1016/j.tcs.2020.08.034},
    url = {https://doi.org/10.1016%2Fj.tcs.2020.08.034},
    year = {2020},
    month = {dec},
    publisher = {Elsevier {BV}},
    volume = {848},
    pages = {47--81},
    author = {Michele Chiari and Dino Mandrioli and Matteo Pradella},
    title = {Operator precedence temporal logic and model checking},
    journal = {Theoretical Computer Science}
}

@article{Chiari_2020, doi = {10.1016/j.tcs.2020.08.034}, url = {https://doi.org/10.1016%2Fj.tcs.2020.08.034}, year = {2020}, month = {dec}, publisher = {Elsevier {BV}}, volume = {848}, pages = {47--81}, author = {Michele Chiari and Dino Mandrioli and Matteo Pradella}, title = {Operator precedence temporal logic and model checking}, journal = {Theoretical Computer Science} }