Hybrid2: A Hybrid System Simulation Model: Theory Manual