Therac-25 – The Fundamental Failure-Mode Theorem
en.wikipedia.org