HOME: Heard-Of based Formal Modeling and Verification Environment for Consensus Protocols | IEEE Conference Publication | IEEE Xplore