a goal - based modeling approach to develop requirements of an adaptive system with environmental uncertainty .
towards modeling and reasoning support for early - phase requirements engineering .