Counterexample Guided Abstraction Refinement for Stability Analysis | Publicación