Slavisa Markovic Thomas Baar Semantics of OCL specified with QVT. 399-422 2008 7 Software and System Modeling 4 http://dx.doi.org/10.1007/s10270-008-0083-2 db/journals/sosym/sosym7.html#MarkovicB08a