Combining the effectiveness of KPIs and efficiency of Process Mining