Generating Polynomial Invariants for Hybrid Systems | Publicación