The KBSA Requirements/specification Facet: ARIES | IEEE Conference Publication | IEEE Xplore