High-Level Nonlinear Underactuated Controller for a Leader-Follower Formation Involving a Miniature Helicopter and a Ground Robot | IEEE Conference Publication | IEEE Xplore