Mobile robot localization: integrating measurements from a time-of-flight laser | IEEE Journals & Magazine | IEEE Xplore