An interface automata based model for web service composition | IEEE Conference Publication | IEEE Xplore