Safety Requirements and Fault Trees Using Retrenchment.

Richard Banach, R. Cross

Browse the full SAFECOMP paper archive.