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.