Model-based Analysis of Simulink Models
As this practical seminar is held in German an english description is not available.