Dynamic Reconfiguration of Primary/Backup Clusters
Paxos made live: an engineering perspective