Process mining based on object-centric behavorial constraint (OCBC) models by G. Li