et al., Anupam Singh. 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 -44. http://sersc.org/journals/index.php/IJAST/article/view/2705.