Enhanced Test and Verification Capabilities Using Model-Based Design | part of Safety-Critical Automotive Systems | SAE books | IEEE Xplore