Analyzing Software Safety (1983)

by N G Leveson, P R Harvey
Venue:IEEE Transactions on Software Engineering