Daniel Merschen, Robert Gleis, Julian Pott, Stefan Kowalewski. Analysis of Simulink Models Using Databases and Model Transformations. In Ricardo Jorge Machado, Rita Suzana Pitangueira Maciel, Julia Rubin, Goetz Botterweck, editors, Model-Based Methodologies for Pervasive and Embedded Software, 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Volume 7706 of Lecture Notes in Computer Science, pages 69-84, Springer, 2012. [doi]
Abstract is missing.