Verification and Validation of a Cyber-Physical System in the Automotive Domain | IEEE Conference Publication | IEEE Xplore