An Algorithmic Approach for Stability Verification of Hybrid Systems | Publicación