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