Efficient Modeling of Hybrid Systems