Data-Aware Conformance Checking for Declarative Business Process Models | Publicación