Modelling and Simulation for Autonomous Systems