Litmus Tests for Comparing Memory Consistency Models: How Long Do They Need to Be? - Mador-Haim, Sela; Alur, Rajeev; Martin, Milo M. K. (DAC: Annual ACM/IEEE Design Automation Conference, 2011)