Evaluating the use of Pareto Efficiency to Optimize Non-Functional Requirements Satisfaction in i* Modeling | IEEE Journals & Magazine | IEEE Xplore