Conformance checking : relating processes and models (2018)