Gergely Dévai, Gábor Ferenc Kovács, Ádám An: Textual, Executable, Translatable UML. OCL@MoDELS 2014: 3-12