Conformance checking and diagnosis in process mining. Comparing observed and modeled processes
scientific article; zbMATH DE number 6815292