Christopher Dragert Jürgen Dingel Karen Rudie Generation of concurrency control code using discrete-event systems theory. 146-157 2008 SIGSOFT FSE http://doi.acm.org/10.1145/1453101.1453122 conf/sigsoft/2008 db/conf/sigsoft/fse2008.html#DragertDR08