GRAIL/KAOS: an environment for goal-driven requirements analysis, integration and layout | IEEE Conference Publication | IEEE Xplore