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, Vol. 28, no. 20, Dec. 2019, pp. 133 -44, http://sersc.org/journals/index.php/IJAST/article/view/2705.