SMARTRe requirements: writing reusable requirements | IEEE Conference Publication | IEEE Xplore