3302 Method of Computer-Aided Fault Tree Analysis for High-Reliability Design : Verification of the method for general failure modes of design