Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011) | Publicación