Discrete-time EKF convergence analysis. Application to sonar navigation | Publicación