W. Lacerda, M. Ramos, and R. Macedo. "Byzantine Fault Tolerance in the Partitioned Synchronous System Model", in Anais do VIII SimpĆ³sio Brasileiro de Engenharia de Sistemas Computacionais, Salvador, 2018, pp. 141-148.