Use case modeling guidelines | IEEE Conference Publication | IEEE Xplore