Return to Article Details A generalized method for constructing failure-behavior models of fault-tolerant multiprocessor systems with inter-subsystem redundancy Download Download PDF