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