Toward High Integrity Personal Localization System Based on Informational Formalism | IEEE Journals & Magazine | IEEE Xplore