Opportunistic WiFi offloading in vehicular environment: A queueing analysis | Synapse