Text this: Simulation and Formal Modelling of Yaw Control in a Drive-by-Wire Application