TY - SER AU - Ibanez-liano, C. AU - Rauzy, A.B. AU - Melendez, E. AU - NIETo, F. TI - Minimal Cutsets-Based Reduction Approach for Use of Binary Decision Diagrams on Probabilistic Safety Assessment Fault Tree Models KW - Probabilistic Safety Assessment KW - Fault Tree Analysis KW - Variable Ordering Heuristics ER -