An Algorithmic Approach to Stability Verification of Hybrid Systems: A Summary | Publicación