@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} }