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