Conformance Checking and Diagnosis in Process Mining - Jorge Munoz-Gama (Springer, 2016)