Smarter System Verification using Simulink and Simics