Yan Cui Weiyi Wu Yingxin Wang Xufeng Guo Yu Chen Yuanchun Shi Reinventing Lock Modeling for Multi-Core Systems. 455-457 2010 MASCOTS http://doi.ieeecomputersociety.org/10.1109/MASCOTS.2010.64 conf/mascots/2010 db/conf/mascots/mascots2010.html#CuiWWGCS10