Modelling and Simulation for Autonomous Systems - Jan Mazal, Adriano Fagiolini, Petr Vasik, Michele Turi (Springer, 2021)