Normal forms for underactuated mechanical systems with symmetry | IEEE Journals & Magazine | IEEE Xplore