ET AL., A. S. Formal Development and Verification of Quorum Based Static Voting Replica Control Protocol Using Event-B. International Journal of Advanced Science and Technology, v. 28, n. 20, p. 133 - 144, 31 Dec. 2019.