Development and Implementation of a Direct Evaluation Solution for Fault Tree Analyses Competing With Traditional Minimal Cut Sets Methods. - Jacob Cortés; Dario Di Martino; David Duran; Josep López; Jordi Pons-Prats; Jesus Sánchez (IEEE Trans. Reliab., 2023)