Themis: A participatory navigation system for balanced traffic routing | IEEE Conference Publication | IEEE Xplore