(HTML Version, not the one that is assigned) Leveson, Nancy, and Clark S. Turner. July 1993. "An Investigation of the Therac-25 Accidents", IEEE Computer, Vol. 25, No. 7, pp. 18-41.
Medical Devices: The Therac-25
This is a PDF file of the paper to read.
Ariane 5 Accident
Model Checking Notes
System Design Notes