Integrated techniques for software safety analysis
Peter Fenelon, John A. McDermid · 1992
This paper describes what we mean by each of these terms, and describes our work on the development of notations, methods and tools for safety analysis within the framework of the SSAP (Software Safety Assessment Procedures) project. We also address the broader context of safety analysis and describe links between SSAP and other relevant work.