Invariant Generation for Parametrized Systems Using Self-reflection | Publicación