@article{Bertrand_2021,
    doi = {10.1007/s10009-020-00603-x},
    url = {https://doi.org/10.1007%2Fs10009-020-00603-x},
    year = {2021},
    month = {feb},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {23},
    number = {5},
    pages = {797--821},
    author = {Nathalie Bertrand and Igor Konnov and Marijana Lazi{\'{c}} and Josef Widder},
    title = {Verification of randomized consensus algorithms under round-rigid adversaries},
    journal = {International Journal on Software Tools for Technology Transfer}
}

@article{Bertrand_2021, doi = {10.1007/s10009-020-00603-x}, url = {https://doi.org/10.1007%2Fs10009-020-00603-x}, year = {2021}, month = {feb}, publisher = {Springer Science and Business Media {LLC}}, volume = {23}, number = {5}, pages = {797--821}, author = {Nathalie Bertrand and Igor Konnov and Marijana Lazi{\'{c}} and Josef Widder}, title = {Verification of randomized consensus algorithms under round-rigid adversaries}, journal = {International Journal on Software Tools for Technology Transfer} }