UsCaAb : a tool for abstracting use case diagrams | IEEE Conference Publication | IEEE Xplore