Francesco Flammini Nicola Mazzocca Mauro Iacono Stefano Marrone Using Repairable Fault Trees for the Evaluation of Design Choices for Critical Repairable Systems. 163-172 2005 conf/hase/2005 HASE http://doi.ieeecomputersociety.org/10.1109/HASE.2005.26 db/conf/hase/hase2005.html#FlamminiMIM05