Byzantine Fault Tolerance in the Partitioned Synchronous System Model | IEEE Conference Publication | IEEE Xplore