Precisamos de carros autônomos de código aberto e verificáveis