An error-controlled methodology for approximate hierarchical symbolic analysis | Publicación