Modelling and analysis of hybrid dynamical systems | doi.page