FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing | Publicación