Discovering Agent Models using Process Mining: Initial Approach and a Case Study | IEEE Conference Publication | IEEE Xplore