When problems started occurring [with the Therac-25], investigators assumed that … In fact, a software error can always be … and issues commands to actuators. Without a thorough … possible to determine whether the sensor provided the … did the wrong thing on its own. [For example, a microswitch was blamed for the Hamilton accident.]
Google-1
Google-2
Copyright clearance needed for quotation.