A. Biere, M. Heule, and H. Van-maaren, Handbook of satisfiability, p.185, 2009.

H. Boudali, P. Crouzen, and M. Stoelinga, Dynamic fault tree analysis using input/output interactive markov chains, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), pp.708-717, 2007.

H. Boudali and J. B. Dugan, A discretetime bayesian network reliability modeling and analysis framework, Reliability Engineering & System Safety, vol.87, issue.3, pp.337-349, 2005.

N. Brînzei and J. Aubry, Graphs models and algorithms for reliability assessment of coherent and non-coherent systems. Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol.232, issue.2, pp.201-215, 2018.

M. Duroeulx, N. Brinzei, M. Duflot, and S. Merz, Satisfiability techniques for computing minimal tie sets in reliability assessment, Mathematical Models on Reliability (MMR), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01518920

D. Ge, M. Lin, Y. Yang, R. Zhang, and Q. Chou, Quantitative analysis of dynamic fault trees using improved sequential binary decision diagrams, Reliability Engineering & System Safety, vol.142, pp.289-299, 2015.

A. Kaufmann, D. Grouchko, and R. Cruon, Mathematical Models for the Study of the Reliability of Systems (Mathematics in Science and Engineering, vol.124, 1977.

G. Merle, J. Roussel, and J. Lesage, Quantitative analysis of dynamic fault trees based on the structure function. Quality and Reliability Engineering International, vol.30, pp.143-156, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00954679

G. Merle, J. Roussel, J. Lesage, V. Perchet, and N. Vayatis, Quantitative analysis of dynamic fault trees based on the coupling of structure functions and monte carlo simulation, Quality and Reliability Engineering International, vol.32, issue.1, pp.7-18, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01282160

G. Merle, J. Roussel, J. Lesage, and N. Vayatis, Analytical calculation of failure probabilities in dynamic fault trees including spare gates, European Safety and Reliability Conference, p.794, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00516893

S. Minato, Zero-suppressed bdds for set manipulation in combinatorial problems, Proceedings of the 30th international Design Automation Conference, pp.272-277, 1993.

E. Ruijters and M. Stoelinga, Fault tree analysis: a survey of the state-of-the-art in modeling, analysis and tools, Computer science review, vol.15, pp.29-62, 2015.

. Satodev, GRIF -GRaphical Interface for reliability Forecasting software, 2018.

K. K. Vemuri, J. B. Dugan, and K. J. Sullivan, Automatic synthesis of fault trees for computer-based systems, IEEE Transactions on Reliability, vol.48, issue.4, pp.394-402, 1999.

W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault tree handbook, 1981.

L. Xing, O. Tannous, and J. B. Dugan, Reliability analysis of nonrepairable cold-standby systems using sequential binary decision diagrams, IEEE Transactions on Systems, Man, and Cybernetics-Part A: Systems and Humans, vol.42, issue.3, pp.715-726, 2011.

P. Zhu, J. Han, L. Liu, and M. J. Zuo, A stochastic approach for the analysis of fault trees with priority and gates, IEEE Transactions on Reliability, vol.63, issue.2, pp.480-494, 2014.