Barbieri, R., & 		Vieira, G.
(2015).
 Hardened Paxos through Consistency Validation.
In <em>Anais do V Simpósio Brasileiro de Engenharia de Sistemas Computacionais</em>, (pp. 9-21). Porto Alegre: SBC.