Use case maps for the capture and validation of distributed systems requirements | IEEE Conference Publication | IEEE Xplore