Modelling and Simulation of Hybrid Systems