%0 Conference Paper %B IEEE Aerospace Conference, Verification and Validation %D 2005 %T Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools %A Jonathan Sprinkle %A Omid Shakernia %A Robert Miller %A S. Shankar Sastry %B IEEE Aerospace Conference, Verification and Validation %P 1–6 %8 March %G eng %U http://dx.doi.org/10.1109/AERO.2005.1559595