Managing conflicts in goal-driven requirements engineering
Formal refinement patterns for goal-driven requirements elaboration