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