CTL-Based Adaptive Service Composition in Edge Networks | IEEE Journals & Magazine | IEEE Xplore