1. 12
  1.  

  2. 1

    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