An industrial case study of the impact of requirements engineering on downstream development | IEEE Conference Publication | IEEE Xplore