An object-oriented tool for tracing requirements | IEEE Journals & Magazine | IEEE Xplore