Bo Zhang: VITAL : reengineering variability specifications and realizations in software product lines. University of Kaiserslautern 2015, 1-209