https://1library.org/document/zkk8498z-implementacao-simulacao-verificacao-formal-racional-condutor-veiculo-autonomo.html