Low Complexity Byzantine-Resilient Consensus - Miguel Correia; Nuno Ferreira Neves; Paulo Veríssimo; Lau Cheuk Lung (2005)