@inproceedings{Dwyer_1998,
    doi = {10.1145/298595.298598},
    url = {https://doi.org/10.1145%2F298595.298598},
    year = {1998},
    publisher = {{ACM} Press},
    author = {Matthew B. Dwyer and George S. Avrunin and James C. Corbett},
    title = {Property specification patterns for finite-state verification},
    booktitle = {Proceedings of the second workshop on Formal methods in software practice  - {FMSP} {\textquotesingle}98}
}

@inproceedings{Dwyer_1998, doi = {10.1145/298595.298598}, url = {https://doi.org/10.1145%2F298595.298598}, year = {1998}, publisher = {{ACM} Press}, author = {Matthew B. Dwyer and George S. Avrunin and James C. Corbett}, title = {Property specification patterns for finite-state verification}, booktitle = {Proceedings of the second workshop on Formal methods in software practice - {FMSP} {\textquotesingle}98} }