Alireza Souri, “Formal Specification and Verification of a Data Replication Approach in Distributed Systems”, ijngc, vol. 7, no. 1, pp. 18–37, Mar. 2016.