Leveraging Electronic Ticketing to Provide Personalized Navigation in a Public Transport Network | IEEE Journals & Magazine | IEEE Xplore