Software safety in embedded computer systems (1991)

by N G Leveson
Venue:Communications of the ACM