et al. AS. Formal Development and Verification of Quorum Based Static Voting Replica Control Protocol Using Event-B. IJAST [Internet]. 2019Dec.31 [cited 2024May3];28(20):133 -144. Available from: http://sersc.org/journals/index.php/IJAST/article/view/2705