Proving sequential consistency by model checking. - Tim Braun; Anne Condon; Alan J. Hu; Kai S. Juse; Marius Laza; Michael Leslie; Rita Sharma (HLDVT, 2001)