XFT: Practical fault tolerance beyond crashes
Paxos made live: an engineering perspective