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