Geometric Control Of Mechanical Systems by Francesco Bullo & Andrew D. Lewis