Stateful Web Services -- Auto Modeling and Composition | IEEE Conference Publication | IEEE Xplore