Safeware Engineering Corporation: Publications - Related Software System Safety References

Leveson, N.G. and Turner, C.L. ``An Investigation of the Therac-25 Accidents,'' IEEE Computer, July 1993.

Leveson, N.G., Cha, S.S., Shimeall, T.J. ``Safety Verification of Ada Programs using Software Fault Trees,'' IEEE Software, July 1991.

Jaffe, M.S., Leveson, N.G., Heimdahl, M., and Melhart, B. ``Software Requirements Analysis for Real-Time Process-Control Software,'' IEEE Trans. on Software Engineering, March 1991.

Leveson, N.G. ``Software Safety in Embedded Computer Systems,'' Communications of the ACM, February, 1991.