M. Seifert and R. Samlaus, “Static Source Code Analysis using OCL”, eceasst, vol. 15, Dec. 2008.