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

Richard Banach, Marco Bozzano

Browse the full SAFECOMP paper archive.