Hybrid automata-based CEGAR for rectangular hybrid systems | Publicación