XFT: Practical fault tolerance beyond crashes
Zab: High-performance broadcast for primary-backup systems