S. B. Akers, Binary decision diagrams, IEEE Transactions on computers, issue.6, pp.509-516, 1978.

J. Aubry, N. Brinzei, and M. Mazouni, Systems Dependability Assessment : Benefits of Petri Net Models, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01320631

G. Audemard and L. Simon, Glucose : a solver that predicts learnt clauses quality, SAT Competition, pp.7-8, 2009.

A. Avi?ienis, B. J.-c.-laprie, and . Randell, Dependability and its threats : a taxonomy, Building the Information Society, pp.91-120, 2004.

P. Ballarini, H. Djafri, M. Duflot, S. Haddad, and N. Pekergin, Cosmos : a statistical model checker for the hybrid automata stochastic logic, 2011 Eighth International Conference on Quantitative Evaluation of SysTems, pp.143-144, 2011.

R. Bell, Introduction to iec 61508, Proceedings of the 10th Australian workshop on Safety critical systems and software, vol.55, pp.3-12, 2006.

R. Bennetts, On the analysis of fault trees, IEEE Transactions on reliability, vol.24, issue.3, pp.175-185, 1975.

A. Biere, Lingeling and friends at the sat competition 2011, FMV Report Series Technical Report, vol.11, issue.1, 2011.

A. Biere, M. Heule, H. Van-maaren, and E. T. Walsh, Conflict-driven clause learning sat solvers. Handbook of Satisfiability, Frontiers in Artificial Intelligence and Applications, pp.131-153, 2009.

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

Z. W. Birnbaum, J. D. Esary, and S. C. Saunders, Multi-component systems and structures and their reliability, Technometrics, vol.3, issue.1, pp.55-77, 1961.

A. Birolini, Quality and reliability of technical systems, IEEE Transactions on Reliability, vol.48, issue.2, pp.205-206, 1999.

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

M. Bouissou and . Bon, A new formalism that combines advantages of fault-trees and markov models : Boolean logic driven markov processes, Reliability Engineering & System Safety, vol.82, issue.2, pp.149-163, 2003.

T. Boy-de-la-tour, An optimality result for clause form translation, Journal of Symbolic Computation, vol.14, issue.4, pp.283-301, 1992.

M. A. Boyd, Dynamic fault tree models : techniques for analysis of advanced fault tolerant computer systems, 1992.

P. Brameret, Assessment of reliability indicators from automatically generated partial Markov chains, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01230869

P. Brameret, A. Rauzy, and J. Roussel, Automated generation of partial markov chain from high level descriptions, Reliability Engineering & System Safety, vol.139, pp.179-187, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01238630

N. Brînzei and . Aubry, An approach of reliability assessment of systems based on graphs models, pp.1485-1493, 2015.

N. Brînzei and . 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.

R. E. Bryant, Graph-based algorithms for boolean function manipulation. Computers, IEEE Transactions on, vol.100, issue.8, pp.677-691, 1986.

M. ?epin, Reliability block diagram, Assessment of Power System Reliability, pp.119-123, 2011.

P. Chaux, Formalisation de la cohérence et calcul des séquences de coupe minimales pour les systèmes binaires dynamiques et réparables, 2013.

G. Chiola, M. A. Marsan, G. Balbo, and G. Conte, Generalized stochastic petri nets : A definition at the net level and its implications, IEEE Transactions on software engineering, vol.19, issue.2, pp.89-107, 1993.

J. Clarhaut, Prise en compte des séquences de défaillances pour la conception de systèmes d'automatisation. Application au ferroutage, 2009.

E. M. Clarke, Model checking, International Conference on Foundations of Software Technology and Theoretical Computer Science, pp.54-56, 1997.

E. M. Clarke and J. M. Wing, Formal methods : State of the art and future directions, ACM Computing Surveys (CSUR), vol.28, issue.4, pp.626-643, 1996.
URL : https://hal.archives-ouvertes.fr/hal-00444076

C. Cocozza-thivent, Processus de renouvellement markovien processus de markov déterministes par morceaux, 2018.

S. A. Cook, The complexity of theorem-proving procedures, Proceedings of the third annual ACM symposium on Theory of computing, pp.151-158, 1971.

U. S. Costa, A. M. Moreira, and D. Déharbe, A cache-based parallel genetic algorithm for the bdd variable ordering problem, Proc. of SBAC-PAD, pp.99-104, 2000.

O. Coudert and J. C. Madre, Fault tree analysis : 10/sup 20/prime implicants and beyond, Reliability and Maintainability Symposium, 1993. Proceedings., Annual, pp.240-245, 1993.

A. David, K. G. Larsen, A. Legay, M. Miku?ionis, and D. B. Poulsen, Uppaal smc tutorial, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.397-415, 2015.

M. Davis, G. Logemann, and D. W. Loveland, A machine program for theorem-proving, 1961.

J. B. Dugan, S. J. Bavuso, and M. A. Boyd, Fault trees and sequence dependencies, Reliability and Maintainability Symposium, pp.286-293, 1990.

J. B. Dugan, S. J. Bavuso, and M. A. Boyd, Dynamic fault-tree models for faulttolerant computer systems, IEEE Transactions on reliability, vol.41, issue.3, pp.363-377, 1992.

M. Duroeulx, N. Brinzei, M. Duflot, and E. 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-01630851

M. Duroeulx, N. Brinzei, M. Duflot, and E. S. Merz, Integrating satisfiability solving in the assessment of system reliability modeled by dynamic fault trees, European Safety and Reliability Conference, pp.2425-2432, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02262205

Y. Dutuit and A. Rauzy, Approximate estimation of system reliability via fault trees. Reliability engineering & system safety, vol.87, pp.163-172, 2005.

S. Eén, An extensible SAT-solver, 6th Intl. Conf. Theory and Applications of Satisfiability Testing 2919, pp.502-518, 2003.

E. A. Emerson and E. M. Clarke, Characterizing correctness properties of parallel programs using fixpoints, International Colloquium on Automata, Languages, and Programming, pp.169-181, 1980.

J. Fleurant, Évaluation de la fiabilité tà partir de la fonction de structure et du diagramme de hasse, 2014.

J. Fussell, E. Aber, and R. Rahl, On the quantitative analysis of priority-and failure logic, IEEE Transactions on Reliability, vol.25, issue.5, pp.324-326, 1976.

M. R. Garey, D. S. Johnson, and L. Stockmeyer, Some simplified np-complete problems, Proceedings of the sixth annual ACM symposium on Theory of computing, pp.47-63, 1974.

E. Gascard and Z. Simeu-abazi, Quantitative analysis of dynamic fault trees by means of monte carlo simulations : Event-driven simulation approach, Reliability Engineering & System Safety, vol.180, pp.487-504, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01883352

B. Gnedenko, I. A. Ushakov, and E. I. Ushakov, Probabilistic reliability engineering, 1995.

J. Han, E. Taylor, J. Gao, and J. Fortes, Faults, error bounds and reliability of nanoelectronic circuits, 2005 IEEE International Conference on Application-Specific Systems, Architecture Processors (ASAP'05), pp.247-253, 2005.

M. J. Heule, O. Kullmann, and V. W. Marek, Solving and verifying the boolean pythagorean triples problem via cube-and-conquer, International Conference on Theory and Applications of Satisfiability Testing, pp.228-245, 2016.

C. Ibáñez-llano, A. Rauzy, E. Meléndez, and F. Nieto, A reduction approach to improve the quantification of linked fault trees through binary decision diagrams, Reliability Engineering & System Safety, vol.95, issue.12, pp.1314-1323, 2010.

, Sécurité fonctionnelle des systèmes électriques/électroniques/éléctroniques programmables relatifs à la sûreté, 2000.

, IEC, vol.812

, Ieee standard glossary of software engineering terminology (ieee std 610.12-1990). los alamitos. CA, IEEE, 1990.

D. Ionescu, Évaluation quantitative de séquences d'événements en sûreté de fonctionnement à l'aide de la théorie des langages probabilistes, 2016.

R. M. Karp, Reducibility among combinatorial problems, Complexity of computer computations, pp.85-103, 1972.

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.

S. Kriaa, Joint safety and security modeling for risk assessment in cyber physical systems, 2016.
URL : https://hal.archives-ouvertes.fr/tel-01318118

M. Kvassay, E. Zaitseva, V. Levashenko, and J. Kostolny, Minimal cut vectors and logical differential calculus, IEEE 44th International Symposium on Multiple-Valued Logic, pp.167-172, 2014.

M. Kvassay, E. Zaitseva, V. Levashenko, and J. Kostolny, Binary decision diagrams in reliability analysis of standard system structures, 2016 International Conference on Information and Digital Technologies (IDT), pp.164-172, 2016.

M. Kwiatkowska, G. Norman, and E. D. Parker, Prism : probabilistic model checking for performance and reliability analysis, ACM SIGMETRICS Performance Evaluation Review, vol.36, issue.4, pp.40-45, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00457906

L. Berre, D. , and A. Parrain, The sat4j library, release 2.2, Journal on Satisfiability, Boolean Modeling and Computation, vol.7, issue.2-3, pp.59-64, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00868136

B. Lebeaupin, Vers un langage de haut niveau pour une ingénierie des exigences agile dans le domaine des systèmes embarqués avioniques, 2017.

C. Lee, Representation of switching circuits by binary-decision programs, The Bell System Technical Journal, vol.38, issue.4, pp.985-999, 1959.

A. Legay, B. Delahaye, and E. S. Bensalem, Statistical model checking : An overview, International conference on runtime verification, pp.122-135, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00591593

N. G. Leveson and J. L. Stolzy, Safety analysis using petri nets, IEEE Transactions on software engineering, issue.3, pp.386-397, 1987.

N. Limnios, Stochastic systems in merging phase space, 2005.

Y. A. Mahmood, A. Ahmadi, A. K. Verma, A. Srividya, and U. Kumar, Fuzzy fault tree analysis : a review of concept and application, International Journal of System Assurance Engineering and Management, vol.4, issue.1, pp.19-32, 2013.

R. Masson, Évaluation de la fiabilité de systèmes critiques par arbre de défaillances dynamique et liens minimaux, 2019.

J. Matousek and J. Nesetril, Invitation to discrete mathematics, 1998.

J. A. Mcdermid, M. Nicholson, D. J. Pumfrey, and P. Fenelon, Experience with the application of hazop to computer-based systems, COMPASS'95 Proceedings of the Tenth Annual Conference on Computer Assurance Systems Integrity, Software Safety and Process Security, pp.37-48, 1995.

G. Merle, Algebraic modelling of Dynamic Fault Trees, contribution to qualitative and quantitative analysis, 2010.
URL : https://hal.archives-ouvertes.fr/tel-00502012

G. Merle and . Roussel, Algebraic modelling of fault trees with priority and gates, 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), p.175, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00350495

G. Merle, J. Roussel, and J. Lesage, Improving the efficiency of dynamic fault tree analysis by considering gate fdep as static, European Safety and Reliability Conference (ESREL 2010), p.845, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00516896

G. Merle, J. Roussel, and J. Lesage, Algebraic determination of the structure function of dynamic fault trees, Reliability Engineering & System Safety, vol.96, issue.2, pp.267-277, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00536000

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, issue.1, 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

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

S. Minato, Zero-suppressed bdds and their applications, International Journal on Software Tools for Technology Transfer, vol.3, issue.2, pp.156-170, 2001.

Y. Mortureux, La sûreté de fonctionnement : méthodes pour maîtriser les risques, 2001.

T. Murata, Petri nets : Properties, analysis and applications, Proceedings of the IEEE, vol.77, issue.4, pp.541-580, 1989.

H. Narushima, Principle of inclusion-exclusion on semilattices, Journal of Combinatorial Theory, Series A, vol.17, issue.2, pp.196-203, 1974.

H. Narushima, Principle of inclusion-exclusion on partially ordered sets, Discrete Mathematics, vol.42, issue.2-3, pp.243-250, 1982.

A. Nonnengart, G. Rock, and C. Weidenbach, On generating small clause normal forms, International Conference on Automated Deduction, pp.397-411, 1998.

C. A. Petri, Kommunikation mit automaten, 1962.

L. Piètre-cambacédès, Des relations entre sûreté et sécurité, 2010.

L. Piètre-cambacédès, Y. Deflesselle, and M. Bouissou, Security modeling with bdmp : from theory to implementation, 2011 Conference on Network and Information Systems Security, pp.1-8, 2011.

P. Piriou, Contribution à l'analyse de sûreté de fonctionnement basée sur les modèles des systèmes dynamiques, réparables et reconfigurables, 2015.

P. Piriou, J. Faure, and J. Lesage, Finding the minimal cut sequences of dynamic, repairable, and reconfigurable systems from generalized boolean logic driven markov process models, Proceedings of the Institution of Mechanical Engineers, 2019.

D. A. Plaisted and S. Greenbaum, A structure-preserving clause form translation, Journal of Symbolic Computation, vol.2, issue.3, pp.293-304, 1986.

A. Rauzy and Y. Dutuit, 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.

A. B. Rauzy, Sequence algebra, sequence decision diagrams and dynamic fault trees, Reliability Engineering & System Safety, vol.96, issue.7, pp.785-792, 2011.

A. Reibman and K. Trivedi, Numerical transient analysis of markov models, Computers & Operations Research, vol.15, issue.1, pp.19-36, 1988.

D. J. Reifer, Software failure modes and effects analysis, IEEE Transactions on reliability, vol.28, issue.3, pp.247-249, 1979.

J. Ringler, Sur un petit problème pratique d'estimation en fiabilité, vol.36, pp.25-32, 1988.

E. Rogova and G. Lodewijks, Braking system redundancy requirements for moving walks, Reliability Engineering and System Safety, vol.133, pp.203-211, 2015.

E. Ruijters, C. E. Budde, M. C. Nakhaee, M. Stoelinga, D. Bucur et al., Ffort : A benchmark suite for fault tree analysis, 2019.

E. Ruijters, C. E. Budde, M. C. Nakhaee, M. Stoelinga, D. Bucur et al., Formal Methods and Tools group, 2019.

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.

D. Sheridan, The optimality of a fast cnf conversion and its use with sat, vol.2, 2004.

J. P. Silva and K. A. Sakallah, Grasp-a new search algorithm for satisfiability, The Best of ICCAD, pp.73-89, 2003.

M. Stamatelatos, W. Vesely, J. Dugan, J. Fragola, J. Minarick et al., , 2002.

G. Stone and R. Van-heeswijk, Parameter estimation for the weibull distribution, IEEE Transactions on Electrical Insulation, issue.4, pp.253-261, 1977.

H. Tanaka, L. Fan, F. Lai, and K. Toguchi, Fault-tree analysis by fuzzy probability, IEEE Transactions on reliability, vol.32, issue.5, pp.453-457, 1983.

Z. Tang and J. B. Dugan, Minimal cut set/sequence generation for dynamic fault trees, Reliability and Maintainability, pp.207-213, 2004.

M. Tapia, T. Guima, and A. Katbab, Calculus for a multivalued-logic algebraic system, Applied Mathematics and Computation, vol.42, issue.3, pp.255-285, 1991.

G. S. Tseitin, On the complexity of derivation in propositional calculus, Automation of reasoning, pp.466-483, 1983.

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.

A. Villemeur, Sureté de fonctionnement des systèmes industriels : fiabilité-facteurs humains, 1988.

H. Watson, Launch control safety study, 1961.

W. Weibull, A statistical distribution function of wide applicability, Journal of applied mechanics, vol.18, issue.3, pp.293-297, 1951.

H. L. Younes, M. Kwiatkowska, G. Norman, and E. D. Parker, Numerical vs. statistical probabilistic model checking, International Journal on Software Tools for Technology Transfer, vol.8, issue.3, pp.216-228, 2006.

E. Zaitseva and V. Levashenko, Multiple-valued logic mathematical approaches for multi-state system reliability analysis, Journal of Applied Logic, vol.11, issue.3, pp.350-362, 2013.

E. Zio, In The Monte Carlo Simulation Method for System Reliability and Risk Analysis, pp.7-17, 2013.