Formal verification for Web service composition: A model-checking approach. - Majdi Ghannoudi; Walid Chainbi (ISNCC, 2015)