HYBRID2-A Hybrid System Simulation Model: Theory Summary