Pierre Kelsen Elke Pulvermueller Christian Glodt Specifying Executable Platform-Independent Models using OCL. 2008 9 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/101 db/journals/eceasst/eceasst9.html#KelsenPG08