et al., A. S. Formal Development and Verification of Quorum Based Static Voting Replica Control Protocol Using Event-B. IJAST 2019, 28, 133 - 144.