Model synchronization is an extant and significant problem in model-related technologies. In general, a modeled system is composed of several models that are often related to one another. Consequently, if one model is altered in the development process, the related models will not be consistent anymore. For that reason, resolving inconsistency between those models necessitates a model synchronization method. Performing synchronization manually can be an error prone task due to the number and complexity of model elements. In model-driven technologies, where processing is carried out as a series of model transformations, applying model transformations can also be a reasonable option for the reconciliation. This paper presents an approach that uses trace models and model transformations to facilitate incremental model synchronization.