Inhwan Lee Ravishankar K. Iyer Faults, Symptoms, and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System. 20-29 1993 FTCS db/conf/ftcs/ftcs93.html#LeeI93