Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control | IEEE Journals & Magazine | IEEE Xplore