Significant research effort has been devoted to produce one-sided error estimates for Finite Element Analyses, in particular to provide upper bounds of the actual error. Typically, this has been achieved using residual-type ...