Model Checking Techniques applied to the design of Web Services | Publicación