@article {3594,
	title = {Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations},
	journal = {Electronic Notes in Theoretical Computer Science},
	volume = {109},
	year = {2004},
	pages = {43--56},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Agrawal_A_3_27_2004_Semantic_T.pdf},
	author = {Agrawal, Aditya and Simon, Gyula and Karsai, Gabor}
}
