TY - CONF T1 - Using the Hybrid Systems Interchange Format to Input Design Models to Verification & Validation Tools T2 - IEEE Aerospace Conference, Verification and Validation Y1 - 2005 A1 - Jonathan Sprinkle A1 - Omid Shakernia A1 - Robert Miller A1 - S. Shankar Sastry JF - IEEE Aerospace Conference, Verification and Validation UR - http://dx.doi.org/10.1109/AERO.2005.1559595 ER -