IoT Service Composition for Concurrent Timed Applications | IEEE Conference Publication | IEEE Xplore