Analysis and optimisation of SPL products using goal models | Publicación