Sudheendra Hangal Durgam Vahia Chaiyasit Manovit Juin-Yeu Joseph Lu Sridhar Narayanan TSOtool: A Program for Verifying Memory Systems Using the Memory Consistency Model. 114-123 2004 conf/isca/2004 ISCA http://doi.ieeecomputersociety.org/10.1109/ISCA.2004.1310768 db/conf/isca/isca2004.html#HangalVMLS04