Analysis of Simulink Models Using Databases and Model Transformations. - Daniel Merschen; Robert Gleis; Julian Pott; Stefan Kowalewski (MOMPES, 2012)