Extended requirements traceability: results of an industrial case study | IEEE Conference Publication | IEEE Xplore