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