Exploring efficient analysis alternatives on feature models Documento de conferencia