Generating Test Harnesses with Constrained Input Values using Simulink® Design Verifier Demo