S. Amari, G. Dill, and E. Howals, A new approach to solve dynamic fault trees, Annual Reliability and Maintainability Symposium, 2003., pp.374-379, 2003.
DOI : 10.1109/RAMS.2003.1182018

A. Bobbio and D. C. Raiteri, Parametric faulttrees with dynamic gates and repair boxes, Proceedings IEEE Annual Reliability and Maintainability Symposium (RAMS), pp.459-465, 2004.
DOI : 10.1109/rams.2004.1285491

H. Boudali, P. Crouzen, and M. Stoelinga, Dynamic Fault Tree analysis through input/output interactive Markov chains, Proceedings International Conference on Dependable Systems and Networks, pp.25-38, 2007.
DOI : 10.1109/dsn.2007.37

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.223.234

D. Coppit, K. J. Sullivan, D. , and J. B. , Formal semantics of models for computational engineering: a case study on dynamic fault trees, Proceedings 11th International Symposium on Software Reliability Engineering. ISSRE 2000, pp.270-282, 2000.
DOI : 10.1109/ISSRE.2000.885878

J. B. Dugan, S. Bavuso, and M. Boyd, Dynamic fault-tree models for fault-tolerant computer systems, IEEE Transactions on Reliability, vol.41, issue.3, pp.363-377, 1992.
DOI : 10.1109/24.159800

J. B. Dugan, K. Sullivan, C. , and D. , Developing a low-cost high-quality software tool for dynamic fault-tree analysis, IEEE Transactions on Reliability, vol.49, issue.1, pp.49-59, 2000.
DOI : 10.1109/24.855536

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.1192

Y. Dutuit and A. Rauzy, A linear-time algorithm to find modules of fault trees, IEEE Transactions on Reliability, vol.45, issue.3, pp.422-425, 1996.
DOI : 10.1109/24.537011

J. Fussel, 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.
DOI : 10.1109/TR.1976.5220025

E. Henley and H. Kumamoto, Reliability Engineering and Risk Assessment, 1981.

G. Merle and J. M. Roussel, ALGEBRAIC MODELLING OF FAULT TREES WITH PRIORITY AND GATES, Proceedings 1st IFAC Workshop on Dependable Control of Discrete Systems (DCDS'07), pp.175-180, 2007.
DOI : 10.3182/20070613-3-FR-4909.00008

URL : https://hal.archives-ouvertes.fr/hal-00350495

G. Merle, J. M. Roussel, and J. J. Lesage, Algebraic Framework for the Modelling of Priority Dynamic Fault Trees, 2008.

M. Stamatelatos and W. Vesely, Fault tree handbook with aerospace applications, pp.1-205, 2002.