Integrated and Iterative Requirements Analysis and Test Specification: A Case Study at Kostal | IEEE Conference Publication | IEEE Xplore