Design-space exploration in model driven engineering : an initial pattern catalogue
Constraint-based design-space exploration and model synthesis