Software Safety in Embedded Computer Systems (1991)

by N G Leveson
Venue:Communications of the ACM