An investigation of the Therac-25 accidents | IEEE Journals & Magazine | IEEE Xplore