Robust Process Mining with Guarantees : Process Discovery, Conformance Checking and Enhancement - Leemans, Sander J. J. (Springer International Publishing AG, 2022)