Integrating the Calculus-Based Method into OCL: Study of Expressiveness and Code Generation | IEEE Conference Publication | IEEE Xplore