Software Verification for Weak Memory via Program Transformation - Alglave, J; Kroening, D; Nimal, V; Tautschnig, M (2013)