Verification of Cyber-Physical Automotive Systems-of-Systems: Test Environment Assignment | IEEE Conference Publication | IEEE Xplore