B. Akers, Binary Decision Diagrams, IEEE Transactions on Computers, vol.27, issue.6, pp.509-516, 1978.
DOI : 10.1109/TC.1978.1675141

. Beasley, A genetic algorithm for the set covering problem, European Journal of Operational Research, vol.94, issue.2, pp.392-404, 1996.
DOI : 10.1016/0377-2217(95)00159-X

K. Bjorkman, Solving dynamic flowgraph methodology models using binary decision diagrams, Reliability Engineering & System Safety, vol.111, pp.206-216, 2013.
DOI : 10.1016/j.ress.2012.11.009

D. Maio, Prime Implicants Determination by Differential Evolution for Dynamic Reliability Analysis of Non-Coherent Systems " , under review, Reliability Engineering and System Safety A min cut-set-wise truncation procedure for importance measures in probabilistic safety assessment, Reliability Engineering and System Safety, pp.1827-1837, 2009.

. Epstein, Can we trust PRA?, Reliability Engineering & System Safety, vol.88, issue.3, pp.195-205, 2005.
DOI : 10.1016/j.ress.2004.07.013

K. N. Fleming, Issues and recommendations for advancement of PRA technology in risk-informed decision making, 2003.

. Garrett, The dynamic flowgraph methodology for assessing the dependability of embedded software systems, IEEE Transactions on Systems, Man, and Cybernetics, vol.25, issue.5, pp.824-840, 1995.
DOI : 10.1109/21.376495

H. Holland and J. H. Kumamoto, Adaptation in Natural and Artificial Systems Probabilistic risk assessment and management for engineers and scientists, 1975.

. Labeau, Dynamic reliability: towards an integrated platform for probabilistic risk assessment, Procedia Engineering, 2012 International Symposium on Safety Science and Technology Reliability Engineering and System Safety, pp.219-254, 2000.
DOI : 10.1016/S0951-8320(00)00017-X

J. L. Petersen, Petri net theory and the modeling of systems, 1981.

. Rauzy, Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia, Reliability Engineering & System Safety, vol.58, issue.2, pp.127-144, 1997.
DOI : 10.1016/S0951-8320(97)00034-3

A. Rauzy, Mathematical foundations of minimal cutsets, IEEE Transactions on Reliability, vol.50, issue.4, 2001.
DOI : 10.1109/24.983400

S. Sen, Minimal cost set covering using probabilistic methods, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing states of the art and practice, SAC '93, pp.157-164, 1993.
DOI : 10.1145/162754.162852

H. Yasuura, A High-Performance, Pipelined, FPGA-Based Genetic Algorithm Machine, Genetic Programming and Evolvable Machines, pp.33-60, 2001.

. Schreiber, Pressurized Water Reactors (PWRs) and Boiling Water Reactors (BWRs) in Nuclear Engineering Handbook Minimal cost set covering using probabilistic methods, Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice, pp.157-164, 1993.

. Sharvia, Non-coherent Modelling in Compositional Fault Tree Analysis, Proceedings of the 17 th World Congress, 2008.
DOI : 10.3182/20080706-5-KR-1001.00696

. Storn, Differential evolution -a simple and efficient heuristic for global optimization over continuous spaces Competitive differential evolution A Modified Binary Differential Evolution Algorithm, MENDEL 2006, 12 th International Conference on Soft Computing Life Modelling and Intelligent Computing, pp.341-359, 1996.
DOI : 10.1023/A:1008202821328

E. Zio, An introduction to the basics of Reliability and Risk Analysis, 2007.
DOI : 10.1142/6442

. Zio, Safety Margins Confidence Estimation for a Passive, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00610473