Java Memory Model-Aware Model Checking. - Huafeng Jin; Tuba Yavuz-Kahveci; Beverly A. Sanders (TACAS, 2012)