Concurrency control generation for dynamic threads using discrete-event systems. - Anthony Auer; Jürgen Dingel; Karen Rudie (Sci. Comput. Program., 2014)