The Design, Analysis, and Verification of the SIFT Fault-Tolerant System.

John H. Wensley, Milton W. Green, Karl N. Levitt, Robert E. Shostak

Browse the full ICSE paper archive.