Implementing Fault-Tolerant Services Using the State Machine Approach: A TutorialFred B. Schneider•December 1990PDFLink