Enhancing Efficiency of the Gradual Refinement Approach | IEEE Conference Publication | IEEE Xplore