An automated algorithm for stability analysis of hybrid dynamical systemsK. Mandal, C. Chakraborty, A. Abusorrah, M.M. Al-Hindawi, Y. Al-Turki and S. BanerjeeEur. Phys. J. Special Topics, 222 3-4 (2013) 757-768DOI: https://doi.org/10.1140/epjst/e2013-01879-x