@article{CTT100619868,
  author = {Rodion Moiseev and Shinpei Hayashi and Motoshi Saeki},
  title = {Using Hierarchical Transformation to Generate Assertion Code from OCL Constraints},
  journal = {IEICE Transactions on Information and Systems},
  year = 2011,
}

@inproceedings{CTT100592604,
  author = {Rodion Moiseev and Shinpei Hayashi and Motoshi Saeki},
  title = {Generating Assertion Code from OCL: A Transformational Approach Based on Similarities of Implementation Languages},
  booktitle = {Proceedings of the ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009)},
  year = 2009,
}

@inproceedings{CTT100548102,
  author = {Rodion Moiseev and Shinpei Hayashi and Motoshi Saeki},
  title = {Implementing OCL Evaluation Based on Structural Similarities of Programming Languages},
  booktitle = {IPSJ SIG Technical Reports},
  year = 2007,
}