A formal analysis of database replication protocols with SI replicas and crash failures. - González de Mendívil, José; Armendáriz-Iñigo, José; Garitagoitia, José; Muñoz-Escoí, Francesc (Journal of Supercomputing, 2009)