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.