Content dissemination in vehicular social networks: taxonomy and user satisfaction | IEEE Journals & Magazine | IEEE Xplore