Hybridization for Stability Verification of Nonlinear Switched Systems | Publicación