XFT: Practical fault tolerance beyond crashes
Paxos Made Simple