“GOTCAR FORMAL: DEVELOPING A DECENTRALIZED ROADMAP FOR THE WAY FORWARD FOR VEHICLES”