Adaptive Runtime Verification for Autonomic Communication Infrastructures