Jiang, K.; Zhang, L.; Miyake, S. Using OCL in Executable UML. ECEASST 2007, 9.