A. S. et al., “Formal Development and Verification of Quorum Based Static Voting Replica Control Protocol Using Event-B”, IJAST, vol. 28, no. 20, pp. 133 - 144, Dec. 2019.