a goal - based modeling approach to develop requirements of an adaptive system with environmental uncertainty .
Requirements Engineering: From System Goals to UML Models to Software Specifications