Reiko TANAKA and Kazuo MUROTA, Quantitative Evaluation of Fault-Tolerance for Symmetric Control Systems, 20pp., December 1998.