Getting Insights to Improve Business Processes with Agility: A Case Study Using Process Mining | IEEE Conference Publication | IEEE Xplore