Model Comparison : A Key Challenge for Transformation Testing and Version Control in Model Driven Software Development