Can Patterns improve i* Modeling? Two Exploratory Studies
Formal refinement patterns for goal-driven requirements elaboration