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