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/