Model Abstraction in Dynamical Systems: Application to Mobile Robot Control - Mellodge, Patricia (Springer Berlin Heidelberg, 2020)