Modelling and Simulation for Autonomous Systems - Jan Hodicky (Springer, 2016)