State-Machine and Deferred-Update Replication: Analysis and Comparison | IEEE Journals & Magazine | IEEE Xplore