SMS: Robust Process Mining with Guarantees Process Discovery, Conformance Checking and Enhancement / by Sander J. J. Leemans. [electronic resource] :