@article{761,
  author = {Aditya Agrawal and Gyula Simon and Gabor Karsai},
  title = {Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations},
  year = {2004},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {109},
  pages = {43--56},
  language = {eng},
}