Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis

Results of the analysis of some non-coherent fault trees by means of L-BDD and TL-ZBDD are provided.