W. Lacerda, M. Ramos, and R. Macedo. " Byzantine Fault Tolerance in the Partitioned Synchronous System Model", in Proceedings of the 8th Brazilian Symposium on Computing Systems Engineering, Salvador, 2018, pp. 141-148.