Anyone interested in this stuff might find Nancy Leveson’s pioneering work on applying such thinking to software interesting:

http://sunnyday.mit.edu/

http://sunnyday.mit.edu/book.html

They also worked on Air Traffic Control systems and such:

http://sunnyday.mit.edu/papers/sel-final.pdf