A formal framework for software product lines | Publicación