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