Phase Based Localization for Underwater Vehicles Using Interval Analysis. - Mohamed Saad Ibn Seddik; Luc Jaulin; Jonathan Grimsdale (Math. Comput. Sci., 2014)