“GOTCAR FORMAL: CREATING A DECENTRALIZED ROADMAP FOR THE WAY FORWARD FOR CARS”