Seifert, M. and Samlaus, R. (2008) “Static Source Code Analysis using OCL”, Electronic Communications of the EASST, 15. doi: 10.14279/tuj.eceasst.15.174.