Formal methods and analysis in software product line engineering | Publicación