Case Study: "Therac-25: Summary." Questions: In what...