Integrating Goal Models and Problem Frames for Requirements Analysis of Self-Adaptive CPS | IEEE Conference Publication | IEEE Xplore