VITAL - Reengineering Variability Specifications and Realizations in Software Product Lines | lit.salon