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), 133 - 144. Retrieved from http://sersc.org/journals/index.php/IJAST/article/view/2705