Abstractions for devising Byzantine-resilient state machine replication | IEEE Conference Publication | IEEE Xplore