Conformance checking and diagnosis in process mining : comparing observed and modeled processes (2016)