How does this synchronization mechanism work ? Well it's quite simple : the Intent Synchronizer compares (using EMFCompare) the Model fragments contained in the documentation with the technical artifacts (represented as models). If differences are found, the synchronizer displays synchronization issue markers, and quick-fixes are provided to help the user fix this issue.