DepSpace: A Byzantine Fault-Tolerant Coordination Service - Alysson Neves Bessani; Eduardo Adilio Pelinson Alchieri; Miguel Correia; Joni da Silva Fraga (2008)