ANUPAM SINGH, RAGHURAJ SURYAVANSHI, DIVAKAR YADAV. Formal Specification and Verification of Replication in Blockchain Oriented Transactional System Using Event-B . International Journal of Advanced Science and Technology, v. 29, n. 05, p. 11172-11181, 6 Jun. 2020.