We make tools for test-driven development with Simulink and Stateflow: EverCheck & EverTest. Our tools are used in safety-critical context: IEC 61508 & ISO 26262.
Here are a couple video tutorials: https://www.everbits.com/#Unit. We provide free trials and evaluation support.