Conformance checking and diagnosis for declarative business process models in data-aware scenarios | Publicación