Conceptual framework for business processes compositional verification | Publicación