Byzantine fault-tolerant state machine replication with twin virtual machines | IEEE Conference Publication | IEEE Xplore