On the efficiency of output-error estimators | IEEE Journals & Magazine | IEEE Xplore