Barbieri, R., & 		Vieira, G.
(2015).
 Hardened Paxos through Consistency Validation.
In <em>Proceedings of the 5th Brazilian Symposium on Computing Systems Engineering</em>, (pp. 9-21). Porto Alegre: SBC.