Self-Adaptive System Verification based on SysML | IEEE Conference Publication | IEEE Xplore