(1)
Seifert, M.; Samlaus, R. Static Source Code Analysis Using OCL. ECEASST 2008, 15.