Incremental model synchronization in model driven development environments. - Razavi, Ali; Kontogiannis, Kostas; Brealey, Chris; Nigul, Leho (2009)