A Framework to Refine, Verify, and Identify Aspectual Requirements | IEEE Conference Publication | IEEE Xplore