Barbieri, R., & 		Vieira, G.
2015 nov  3.  Hardened Paxos through Consistency Validation. Anais do Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC). [Online] :