Modelling and Simulation for Autonomous Systems - Jan Mazal (Springer International Publishing, 2021)