An error-controlled methodology for approximate hierarchical symbolic analysis | IEEE Conference Publication | IEEE Xplore