Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle