Definition and Correct Refinement of Operation Specifications. - Thomas Baar; Slavisa Markovic; Frédéric Fondement; Alfred Strohmeier (Research Results of the DICS Program, 2006)

A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. - Thomas Baar; Slavisa Markovic (Ershov Memorial Conference, 2006)

An OCL Semantics Specified with QVT. - Slavisa Markovic; Thomas Baar (MoDELS, 2006)

Synchronizing Refactored UML Class Diagrams and OCL Constraints. - Slavisa Markovic; Thomas Baar (WRT, 2007)

Refactoring OCL annotated UML class diagrams. - Slavisa Markovic; Thomas Baar (Softw. Syst. Model., 2008)

Semantics of OCL specified with QVT. - Slavisa Markovic; Thomas Baar (Softw. Syst. Model., 2008)