Kelsen, P.; Pulvermueller, E.; Glodt, C. Specifying Executable Platform-Independent Models Using OCL. eceasst 2007, 9.