Hybrid Systems Modeling: Development and Validation