Proceedings of the Third International ERCIM Symposium on Software Evolution ( Software Evolution 2007 ) Novel Techniques For Model-Code Synchronization