Byzantine Fault Tolerance in the Partitioned Synchronous System Model. - Wellington Lacerda Silveira da Silva; Marco Antonio Dantas Ramos; Raimundo José de Araújo Macêdo (SBESC, 2018)