Generation of Conformance Test Suites for Compositions of Web Services Using Model Checking | IEEE Conference Publication | IEEE Xplore