Active tool support for requirements engineering through RETH | IEEE Conference Publication | IEEE Xplore