Hybrid Automata-Based CEGAR for Rectangular Hybrid Systems | Publicación