Also see: "Safeware: System Safety and Computers"

and the work of the author, Nancy Leveson:

http://sunnyday.mit.edu/