In this view from Embedded World 2015, Rich Nass interviews Matteo Bordin, Product Manager at AdaCore, covering an integrated code generator and static analysis tool for Simulink and Stateflow.
[youtube=https://www.youtube.com/watch?v=q2OUFt6BfAI;w=529&h=472]