A practical method for accurate quantification of large fault trees. - Jong Soo Choi; Nam Zin Cho (Reliab. Eng. Syst. Saf., 2007)