Mining system-user interaction traces for use case models | IEEE Conference Publication | IEEE Xplore