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