Simulation and Formal Modelling of Yaw Control in a Drive-by-Wire Application - Richard Banach; Pieter Van Schaik; Eric Verhulst (Annals of computer science and information systems)