Visual variability analysis for goal models