Structuring requirements specifications through goals interactions | IEEE Conference Publication | IEEE Xplore