On the Decomposition of Use Cases for the Refinement of Software Requirements | IEEE Conference Publication | IEEE Xplore