Optimal Reasoning of Goals in the i* Framework | IEEE Conference Publication | IEEE Xplore