@conference {c:SprinkleCDC2005,
	title = {On the Partitioning of Syntax and Semantics For Hybrid Systems Tools},
	booktitle = {44th IEEE Conference on Decision and Control and European Control Conference ECC 2005 (CDC-ECC{\textquoteright}05)},
	year = {2005},
	month = {December},
	pages = {4694{\textendash}4699},
	url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1582903},
	author = {Jonathan Sprinkle and Aaron D. Ames and Alessandro Pinto and Haiyang Zheng and S. Shankar Sastry}
}
