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), pp. 133 - 144. Available at: http://sersc.org/journals/index.php/IJAST/article/view/2705 (Accessed: 3May2024).