Modelling, analysis, and design of hybrid systems