Jiang, K., Zhang, L. and Miyake, S. (2007) “Using OCL in Executable UML”, Electronic Communications of the EASST, 9. doi: 10.14279/tuj.eceasst.9.104.