Software safety: What, why, and how (1986)

by N G Leveson
Venue:Computing Surveys