Use case map traversal against sequence breaking | IEEE Conference Publication | IEEE Xplore