Composition and Customization of Web Services Using Wrappers: A Formal Approach Based on CSP | IEEE Conference Publication | IEEE Xplore