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

P. Billingsley, Probability and measure, 1995.

A. Bobbio and D. C. Raiteri, Parametric fault trees with dynamic gates and repair boxes, Annual Symposium Reliability and Maintainability, 2004, RAMS, pp.459-465, 2004.
DOI : 10.1109/RAMS.2004.1285491

H. Boudali, P. Crouzen, and M. Stoelinga, A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains, Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis, pp.441-456, 2007.
DOI : 10.1007/978-3-540-75596-8_31

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.
DOI : 10.1016/j.ress.2004.06.004

D. Coppit and K. J. Sullivan, Designing Modeling Languages: A Case Study in Dynamic Fault Trees, IEEE Transactions on Dependable and Secure Computing, 2002.

J. Dugan, S. Bavuso, and M. Boyd, Fault trees and sequence dependencies, Annual Proceedings on Reliability and Maintainability Symposium, pp.286-293, 1990.
DOI : 10.1109/ARMS.1990.67971

J. Dugan, K. Sullivan, and D. Coppit, 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

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

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

R. Gulati and J. Dugan, A modular approach for analyzing static and dynamic fault trees, Annual Reliability and Maintainability Symposium, pp.57-63, 1997.
DOI : 10.1109/RAMS.1997.571665

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

N. Leveson, Safeware: System Safety and Computers, 1995.

G. Merle and J. Roussel, ALGEBRAIC MODELLING OF FAULT TREES WITH PRIORITY AND GATES, Proceedings of the 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. Roussel, J. Lesage, and A. Bobbio, Algebraic Expression of the Structure Function of a subclass of Dynamic Fault Trees, Proceedings of the 2nd IFAC Workshop on Dependable Control of Discrete Systems (DCDS'09), pp.129-134, 2009.
DOI : 10.3182/20090610-3-IT-4004.00025
URL : https://hal.archives-ouvertes.fr/hal-00394459

G. Merle, J. Roussel, J. Lesage, and A. Bobbio, Probabilistic Algebraic Analysis of Fault Trees With Priority Dynamic Gates and Repeated Events, IEEE Transactions on Reliability, vol.59, issue.1, pp.250-261, 2010.
DOI : 10.1109/TR.2009.2035793
URL : https://hal.archives-ouvertes.fr/hal-00480014

D. C. Raiteri, The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation, Electronic Notes in Theoretical Computer Science, vol.127, issue.2, pp.45-60, 2005.
DOI : 10.1016/j.entcs.2005.02.005

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

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

K. Trivedi, Probability & Statistics with Reliability, Queueing & Computer Science Applications, 2001.