Embedding Verification Concerns in Self-Adaptive System Code | IEEE Conference Publication | IEEE Xplore