Slavisa Markovic, Thomas Baar: An OCL Semantics Specified with QVT. MoDELS 2006: 661-675