Daniele Codetta Raiteri Mauro Iacono Giuliana Franceschinis Valeria Vittorini Repairable Fault Tree for the Automatic Evaluation of Repair Policies. 659-668 2004 conf/dsn/2004 DSN http://csdl.computer.org/comp/proceedings/dsn/2004/2052/00/20520659abs.htm db/conf/dsn/dsn2004.html#RaiteriIFV04