An algorithmic approach to global asymptotic stability verification of hybrid systems | Publicación