Analyzing Software Safety (1983)

by Nancy G Leveson, Peter R Harvey
Venue:IEEE Trans. Soft. Eng. 9