A rewriting logic approach to resource allocation analysis in business process models | Publicación