Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward | IEEE Conference Publication | IEEE Xplore