2-2017 Lightweight data race detection for production runs
An investigation of the Therac-25 accidents