Walter Bright wrote:
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/
Clicking on the link linked by your link, I get: You are not authorised to view this resource. You need to login.