P. Kelsen, E. Pulvermueller, and C. Glodt, “Specifying Executable Platform-Independent Models using OCL”, eceasst, vol. 9, Nov. 2007.