Maximizing Business Process Efficiency in Industry 4.0: A Techno-Functional Exploration of Process Mining Tools. - Hari Lal Bhaskar; Mohammad Osama; Reeta (Oper. Res. Forum, 2025)