Christelle Jacob, Didier Dubois, Janette Cardoso: Uncertainty Handling in Quantitative BDD-Based Fault-Tree Analysis by Interval Computation. SUM 2011: 205-218