K. Kanoun and T. Sabourin, "Software Dependability of a Telephone Switching System", Digest, Fault Tolerant Computing Symposium-17, pp. 236-241, Pittsburgh, Pa., June 1987
General Accounting Office, High Risk Series: Information Management and Technology, GAO/HR97-9, Feb 97
D. E. Eckhardt, A. K. Caglayan, J. C. Knight, et al., "An Experimental Evaluation of Software Redundancy as a Strategy for Improving Reliability", IEEE Trans. Software Engineering, vol 17 no 7, July 1991, pp. 692 - 702
B. Boehm, "A Spiral Model of Software Development and Enhancement", IEEE Computer, May 1988, p.61
R. Balzer, N. Goldman and D. Wile, "Operational Specification as the Basis for Rapid Prototyping", ACM Software Engineering Notes, Dec 82, pp. 3 - 16
Mylopoulos, J (ed.), Requirements Engineering, IEEE Computer Society, 1997
Susan Gerhart, Dan Craigen and Ted Ralston, "Observations on Industrial Practice Using Formal Methods", Proc. 15th International Conference on Software Engineering, IEEE Computer Society Press, Baltimore, May 1993, pp. 24 - 33
D. L. Parnas, G. J. K. Asmis, and J. Madey, "Assessment of Safety-Critical Software", Proc. Ninth Annual Software Reliability Symposium, Colorado Springs CO, May 1991
Jarke, M., and R. Kurki-Suonio, eds. Special Issue on Scenario Management, IEEE Transactions on Software Engineering, vol 24 no 12, December 1998
Borgia, W. M., and N. J. Hrdlick,, "Thread-Based Integration Testing", Software Tech News, vol 3 no 3, (DACS), January 2000
Telford, D. G., "Task-Based Software Testing", Software Tech News, vol 3 no 3, (DACS), January 2000
P. G. Bishop, ed., Dependability of Critical Computer Systems 3 - Techniques Directory, Elsevier Applied Science, ISBN 1-85166-544-7, 1990