Andrea Bobbio Daniele Codetta Raiteri Massimiliano De Pierro Giuliana Franceschinis Efficient Analysis Algorithms for Parametric Fault Trees. 91-105 2005 conf/firb-perf/2005 FIRB-Perf http://doi.ieeecomputersociety.org/10.1109/FIRB-PERF.2005.9 db/conf/firb-perf/firb-perf2005.html#BobbioRPF05