Incremental Model Synchronization. - Ali Razavi Nematollahi (2012)