Model-checking verification of publish-subscribe architectures in web service contexts | Publicación