A formal analysis of database replication protocols with SI replicas and crash failures | Publicación