@article{Cimatti_2000,
    doi = {10.1007/s100090050046},
    url = {https://doi.org/10.1007%2Fs100090050046},
    year = {2000},
    month = {mar},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {2},
    number = {4},
    pages = {410--425},
    author = {Alessandro Cimatti and Edmund Clarke and Fausto Giunchiglia and Marco Roveri},
    title = {{NUSMV}: a new symbolic model checker},
    journal = {International Journal on Software Tools for Technology Transfer ({STTT})}
}

@article{Cimatti_2000, doi = {10.1007/s100090050046}, url = {https://doi.org/10.1007%2Fs100090050046}, year = {2000}, month = {mar}, publisher = {Springer Science and Business Media {LLC}}, volume = {2}, number = {4}, pages = {410--425}, author = {Alessandro Cimatti and Edmund Clarke and Fausto Giunchiglia and Marco Roveri}, title = {{NUSMV}: a new symbolic model checker}, journal = {International Journal on Software Tools for Technology Transfer ({STTT})} }