Robust Process Mining with Guarantees - Sander J. J. Leemans (Springer, 2022)