Method of Computer-Aided Fault Tree Analysis for High-Reliable and Safety Design. - Youji Hiraoka; Tamotsu Murakami; Katsunari Yamamoto; Yoshiyuki Furukawa; Hiroyuki Sawada (IEEE Trans. Reliab., 2016)