Requirements engineering with GRAIL/KAOS: tell the requirements, all the requirements, and nothing else but the requirements | IEEE Conference Publication | IEEE Xplore