Anupam Singh, Raghuraj Suryavanshi, Divakar Yadav. Formal Specification and Verification of Replication in Blockchain Oriented Transactional System Using Event-B . IJAST 2020, 29, 11172-11181.