Service and contract composition: A model and a tool | IEEE Conference Publication | IEEE Xplore