Kelsen, P., Pulvermueller, E., & Glodt, C. (2007). Specifying Executable Platform-Independent Models using OCL. Electronic Communications of the EASST, 9. https://doi.org/10.14279/tuj.eceasst.9.101