María Victoria Cengarle Alexander Knapp OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness. 9-30 2004 3 Software and System Modeling 1 http://dx.doi.org/10.1007/s10270-003-0035-9 db/journals/sosym/sosym3.html#CengarleK04