et al., Anupam Singh. “Formal Development and Verification of Quorum Based Static Voting Replica Control Protocol Using Event-B”. International Journal of Advanced Science and Technology 28, no. 20 (December 31, 2019): 133 - 144. Accessed May 3, 2024. http://sersc.org/journals/index.php/IJAST/article/view/2705.