Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT | Publicación