Goal-Oriented Modeling of Requirements Engineering for Dynamically Adaptive System | IEEE Conference Publication | IEEE Xplore