Heterogeneous Stream Processing and Crowdsourcing for Traffic Monitoring: Highlights