publicações selecionadas artigo de conferência Detecting feature interactions in SPL requirements analysis models 2009