Reliability of Redundant Fault-Tolerant Systems