DepSpace: A Byzantine Fault-Tolerant Coordination Service - Alysson Neves Bessani (2010)