Elimination of constraints for parallel analysis of feature models | Publicación