Fault-tolerant computing: theory and techniques; vol. 1