Model-based planning of test cases and test scenarios to support engineering of Cyber-Physical Systems | IEEE Conference Publication | IEEE Xplore