Giacomo Bucci Laura Carnevali Enrico Vicario A Tool Supporting Evaluation of Non-markovian Fault Trees. 115-116 2008 QEST http://dx.doi.org/10.1109/QEST.2008.46 conf/qest/2008 db/conf/qest/qest2008.html#BucciCV08