Test Generation with Simulink® Design Verifier Demo