Rigorous Design of Lazy Replication System Using Event-B Read more about Rigorous Design of Lazy Replication System Using Event-B