結果 : fault tree analysis in software engineering