NeCoMan: middleware for safe distributed-service adaptation in programmable networks | IEEE Journals & Magazine | IEEE Xplore