Abstraction Based Model-Checking of Stability of Hybrid Systems | Publicación