TDRA: A Truthful Dynamic Reverse Auction for DAG Task Scheduling Over Vehicular Clouds | IEEE Journals & Magazine | IEEE Xplore