Runtime Verification of Multi-Agent Self-Adaptive System | IEEE Conference Publication | IEEE Xplore