Zab: High-performance broadcast for primary-backup systems | IEEE Conference Publication | IEEE Xplore