Rodion Moiseev Shinpei Hayashi Motoshi Saeki Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages. 650-664 2009 MoDELS http://dx.doi.org/10.1007/978-3-642-04425-0_52 conf/models/2009 db/conf/models/models2009.html#MoiseevHS09