A Model-Driven Approach to Variability Management in Product-Line Engineering