Richard D. Schlichting Fred B. Schneider Fail-Stop Processors: An Approach to Designing Fault-Tolerant Computing Systems ACM Trans. Comput. Syst. 1 3 1983 222-238 http://doi.acm.org/10.1145/357369.357371 db/journals/tocs/tocs1.html#SchlichtingS83