Low Complexity Byzantine-Resilient Consensus - Miguel Correia (2010)