Ke Jiang Lei Zhang Shigeru Miyake Using OCL in Executable UML. 2008 9 ECEASST http://eceasst.cs.tu-berlin.de/index.php/eceasst/article/view/104 db/journals/eceasst/eceasst9.html#JiangZM08