Tracing object-oriented code into functional requirements | IEEE Conference Publication | IEEE Xplore