Using integer constraint solving in reuse based requirements engineering
Improving Product Line Engineering Based on the Versatility of Constraint Programming over Finite Domains
Criteria for the verification of feature models
Constraints: The core of product line engineering