A Middleware Approach for Behavior Consistent Composition of Services in Smart Space | IEEE Conference Publication | IEEE Xplore