Modeling of Hybrid Systems 1