“GOTCAR FORMAL: DEVELOPING A DECENTRALIZED ROADMAP FOR THE WAY FORWARD FOR CARS AND TRUCKS”