Formal Study of Prioritized Service Compositions | Publicación