A model for tracing variability from features to product-line architectures: A case study in smart grids - Díaz J; Pérez J; Garbajosa J (Requirements Engineering, 2015)