Conformance Checking Relating Processes and Models - Carmona, Josep. (Springer International Publishing,)