Here's the infamous paper by Nancy Leveson: http://courses.cs.vt.edu/cs3604/lib/Therac_25/Therac_1.html http://courses.cs.vt.edu/cs3604/lib/Therac_25/Therac_1.h

Here's the infamous paper by Nancy Leveson: http://courses.cs.vt.edu/cs3604/lib/Therac_25/Therac_1.html http://courses.cs.vt.edu/cs3604/lib/Therac_25/Therac_1.html (original PDF if you have access to the IEEE: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=274940 http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=...) And an updated PDF: http://sunnyday.mit.edu/papers/therac.pdf http://sunnyday.mit.edu/papers/therac.pdf It's one of the first paper's read in 6.033 (Computer Systems Engineering) at MIT, which is actually taught by rtm.