Validating Production Test Scenarios with Cyber-Physical System Design Models | IEEE Conference Publication | IEEE Xplore