An Extended Product Model for Constraint-Based Redesign Applications · Study