On the Challenges of Building a BFT SCADA
Spanner: Google's globally-distributed database