A Process Mining Approach to Redesign Business Processes - A Case Study in Gas Industry | IEEE Conference Publication | IEEE Xplore