Rachid Guerraoui Thomas A. Henzinger Barbara Jobstmann Vasu Singh Model checking transactional memories. 372-382 2008 PLDI http://doi.acm.org/10.1145/1375581.1375626 conf/pldi/2008 db/conf/pldi/pldi2008.html#GuerraouiHJS08