Everyone who writes safety critical software should read this

[Walter Bright]

Take a look at the reddit thread on this:

http://www.reddit.com/r/programming/comments/1pgyaa/toyotas_killer_firmware_bad_design_and_its/

Do a search for "failsafe". Sigh.