Automating correctness verification of artifact-centric business process models | Publicación