1. Graph-based algorithms for boolean function manipulation;Bryant;IEEE Trans. Comput.,1986
2. New algorithms for fault trees analysis;Rauzy;Reliab. Eng. Syst. Saf.,1993
3. Overview of development of PRASSE: probabilistic risk assessment of systems for seismic events;Kim,2011
4. EQESRA Reference Document Version 3,1995
5. Insights gained from applying negate-down during quantification for seismic probabilistic safety assessment;Kim;Nucl. Eng. Technol.,2022