Minimal cutsets-based reduction approach for the use of binary decision diagrams on probabilistic safety assessment fault tree models | Publicación