1. Amari, S., Dill, G., and Howals, E. (2003). A new approach to solve dynamic fault-trees. In Proceedings IEEE Annual Reliability and Maintainability Symposium (RAMS), 374-379. Tampa, FL USA.
2. Bobbio, A. and Raiteri, D.C. (2004). Parametric faulttrees with dynamic gates and repair boxes. In Proceedings IEEE Annual Reliability and Maintainability Symposium (RAMS), 459-465. Los Angeles, CA USA.
3. Boudali, H., Crouzen, P., and Stoelinga, M. (2007). Dynamic Fault Tree analysis through input/output interactive Markov chains. In Proceedings International Conference on Dependable Systems and Networks (DSN 2007), 25-38. IEEE Computer Society, Edinburgh, UK.
4. Coppit, D., Sullivan, K.J., and Dugan, J.B. (2000). Formal semantics of models for computational engineering: a case study on dynamic fault trees. In International Symposium on Software Reliability Engineering (ISSRE'2000), 270-282. San Jose, CA USA.
5. Dynamic fault-tree models for fault-tolerant computer systems;Dugan;IEEE Transactions on Reliability,1992