Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems.

Richard Banach Marco Bozzano Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems. 127-141 2006 conf/safecomp/2006 SAFECOMP http://dx.doi.org/10.1007/11875567_10 db/conf/safecomp/safecomp2006.html#BanachB06