Lacerda, W., 		Ramos, M., & 		Macedo, R.
(2018).
 Byzantine Fault Tolerance in the Partitioned Synchronous System Model.
In <em>Proceedings of the 8th Brazilian Symposium on Computing Systems Engineering</em>, (pp. 141-148). Porto Alegre: SBC.