Formal Specification, Testing and Verification on the Truck Simulation