Seifert, M.; Samlaus, R. Static Source Code Analysis Using OCL. eceasst 2008, 15.