Improving the Automatic Derivation of Choreography-conforming Web Services Systems | Publicación