1. Vesely, W.E., et al.: Fault Tree Handbook with Aerospace Applications. NASA Office of Safety and Mission Assurance (2002)
2. Walker, M.: Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees. University of Hull (2009)
3. Dugan, J.B., Bavuso, S.J., Boyd, M.: Dynamic fault-tree models for fault-tolerant computer systems. IEEE Trans. Reliab. 41, 363–377 (1992)
4. Tang, Z., Dugan, J.B.: Minimal cut set/sequence generation for dynamic fault trees. In: Annual Symposium Reliability Maint, 2004 – RAMS, pp. 207–213 (2004)
5. Merle, G., Roussel, J., Lesage, J.: Improving the efficiency of dynamic fault tree analysis by considering gate fdep as static. Reliab. Risk, 1–7 (2010)