G.: Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations (2004)

by A Agrawal, G Simon, Karsai
Venue:Electronic Notes in Theoretical Computer Science 109