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