@article{Clarke_1986,
    doi = {10.1145/5397.5399},
    url = {https://doi.org/10.1145%2F5397.5399},
    year = {1986},
    month = {apr},
    publisher = {Association for Computing Machinery ({ACM})},
    volume = {8},
    number = {2},
    pages = {244--263},
    author = {E. M. Clarke and E. A. Emerson and A. P. Sistla},
    title = {Automatic verification of finite-state concurrent systems using temporal logic specifications},
    journal = {{ACM} Transactions on Programming Languages and Systems}
}

@article{Clarke_1986, doi = {10.1145/5397.5399}, url = {https://doi.org/10.1145%2F5397.5399}, year = {1986}, month = {apr}, publisher = {Association for Computing Machinery ({ACM})}, volume = {8}, number = {2}, pages = {244--263}, author = {E. M. Clarke and E. A. Emerson and A. P. Sistla}, title = {Automatic verification of finite-state concurrent systems using temporal logic specifications}, journal = {{ACM} Transactions on Programming Languages and Systems} }