Software safety: Why, what, and how (1986)

by N G Leveson
Venue:ACM Computing Surveys