Media type: E-Article Title: A Rigorous, Compositional, and Extensible Framework for Dynamic Fault Tree Analysis Contributor: Boudali, Hichem; Crouzen, Pepijn; Stoelinga, Mariëlle Published: Institute of Electrical and Electronics Engineers (IEEE), 2010 Published in: IEEE Transactions on Dependable and Secure Computing, 7 (2010) 2, Seite 128-143 Language: Not determined DOI: 10.1109/tdsc.2009.45 ISSN: 1545-5971 Keywords: Electrical and Electronic Engineering Origination: Footnote: