The Safety of Controllers, Sensors, and Actuators (IEEE, 2003)