Safe Systems from Unreliable Parts

[Walter Bright]

This is an important topic for anyone who is building software systems 
that, if they fail, can cause injury or large property damage.

http://www.reddit.com/r/programming/comments/9z811/safe_systems_from_unreliable_parts/