1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010) | Publicación