Bounded Model Checking for Web Service Discovery and Composition | IEEE Conference Publication | IEEE Xplore