A LANGUAGE FOR AUTONOMOUS VEHICLES