Model comparison: A key challenge for transformation testing and version control in model driven software development
Testing: a roadmap