B. Tofan, G. Schellhorn, G. Ernst, J. Pfahler, and W. Reif, “Compositional Verification of a Lock-Free Stack with RGITL”, eceasst, vol. 66, Feb. 2014.