Automatic generation of Correct Web Services Choreographies and Orchestrations with Model Checking Techniques | Publicación