Symbolic Model-Checking of Optimistic Replication Algorithms. - Hanifa Boucheneb; Abdessamad Imine; Manal Najem (IFM, 2010)