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