Incorporating User Behavior Patterns to Discover Workflow Models from Event Logs | IEEE Conference Publication | IEEE Xplore