A model for tracing variability from features to product-line architectures: a case study in smart grids | Publicación