@conference {w:SprinkleAerospace2004, title = {Using the Hybrid Systems Interchange Format to Input Design Models to Verification \& Validation Tools}, booktitle = {IEEE Aerospace Conference, Verification and Validation}, year = {2005}, month = {March}, pages = {1{\textendash}6}, url = {http://dx.doi.org/10.1109/AERO.2005.1559595}, author = {Jonathan Sprinkle and Omid Shakernia and Robert Miller and S. Shankar Sastry} }