Resilence State Machine Replication - Paulo Sousa (2005)