Mohsen Rouached Olivier Perrin Claude Godart Towards Formal Verification of Web Service Composition. 257-273 2006 conf/bpm/2006 Business Process Management http://dx.doi.org/10.1007/11841760_18 db/conf/bpm/bpm2006.html#RouachedPG06