Seifert, Mirko, and Roland Samlaus. “Static Source Code Analysis Using OCL”. Electronic Communications of the EASST, vol. 15, Dec. 2008, doi:10.14279/tuj.eceasst.15.174.