Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages. - Rodion Moiseev; Shinpei Hayashi; Motoshi Saeki (MoDELS, 2009)

Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints. - Rodion Moiseev; Shinpei Hayashi; Motoshi Saeki (IEICE Trans. Inf. Syst., 2011)