CSTL: Compositional Signal Temporal Logic for Adaptive Edge Service Monitoring | IEEE Journals & Magazine | IEEE Xplore