Towards Automated Verification of Distributed Consensus Protocols | IEEE Conference Publication | IEEE Xplore