DFTSim: a simulation tool for extended dynamic fault trees. - Hichem Boudali; A. P. Nijmeijer; Mariëlle Stoelinga (SpringSim, 2009)