Wellington Lacerda, Marco Antonio Ramos, and Raimundo Jose Macedo. 2018. Byzantine Fault Tolerance in the Partitioned Synchronous System Model. In Anais do VIII Simpósio Brasileiro de Engenharia de Sistemas Computacionais, novembro 06, 2018, Salvador, Brasil. SBC, Porto Alegre, Brasil, 141-148.