An Experimental Comparison of Two Navigation Techniques for Requirements Modeling Tools | IEEE Conference Publication | IEEE Xplore