@article{Tsuchiya_2010,
    doi = {10.1007/s00446-010-0123-3},
    url = {https://doi.org/10.1007%2Fs00446-010-0123-3},
    year = {2010},
    month = {nov},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {23},
    number = {5-6},
    pages = {341--358},
    author = {Tatsuhiro Tsuchiya and Andr{\'{e}} Schiper},
    title = {Verification of consensus algorithms using satisfiability solving},
    journal = {Distributed Computing}
}

@article{Tsuchiya_2010, doi = {10.1007/s00446-010-0123-3}, url = {https://doi.org/10.1007%2Fs00446-010-0123-3}, year = {2010}, month = {nov}, publisher = {Springer Science and Business Media {LLC}}, volume = {23}, number = {5-6}, pages = {341--358}, author = {Tatsuhiro Tsuchiya and Andr{\'{e}} Schiper}, title = {Verification of consensus algorithms using satisfiability solving}, journal = {Distributed Computing} }