Foundations of Quantitative Predicate Abstraction for Stability Analysis of Hybrid Systems | Publicación