Compositional Model Checking of Consensus Protocols via Interaction-Preserving Abstraction | IEEE Conference Publication | IEEE Xplore