Method of Computer-Aided Fault Tree Analysis for High-Reliable and Safety Design | IEEE Journals & Magazine | IEEE Xplore