SieveQ: A Layered BFT Protection System for Critical Services
Implementing fault-tolerant services using the state machine approach: a tutorial