K. Jiang, L. Zhang, and S. Miyake, “Using OCL in Executable UML”, eceasst, vol. 9, Nov. 2007.