a goal - based modeling approach to develop requirements of an adaptive system with environmental uncertainty .
Model-based development of dynamically adaptive software