On-line Nonlinear Guaranteed Estimation with Application to a High Performance Aircraft