Download Modelling, Analysis, And Design Of Hybrid Systems 2002