CASE Tool Support for Variability Management in Software Product Lines