Integrating goal model analysis with iterative design