Exploring the impact of software requirements on system-wide goals: a method using satisfaction arguments and i* goal modelling.