et al., A.S. 2019. Formal Development and Verification of Quorum Based Static Voting Replica Control Protocol Using Event-B. International Journal of Advanced Science and Technology. 28, 20 (Dec. 2019), 133 - 144.