Reliability Evaluation of Some Fault-tolerant Computer Architectures - S. Osaki et T. Nishio