1. Software system safety,1985
2. An application of fault tree analysis to safety critical software at Ontario Hydro;Bowman,1991
3. Software safety for complex systems;Brown,1985
4. Software fault trees and weakest preconditions: a comparison and analysis;Clarke;Soft. Engng J.,1993
5. Software safety goal verification using fault tree techniques: a critically ill patient monitor example;Connolly,1989