On the Challenges of Building a BFT SCADA
ZooKeeper: Wait-free Coordination for Internet-scale Systems