Guiding the Service Composition Process with Temporal Business Rules | IEEE Conference Publication | IEEE Xplore