@article {3513,
	title = {A Semantic Unit for Timed Automata Based Modeling Languages},
	year = {2005},
	month = {October},
	institution = {Institute for Software Integrated Systems},
	attachments = {https://archive.isis.vanderbilt.edu/sites/default/files/Chen_K_10_28_2005_A_Semantic.pdf},
	author = {Chen, Kai and Sztipanovits, Janos and Abdelwahed, Sherif}
}
