Predictive Control and Planning Enabling Complex Maneuvers of Formations of Autonomous Helicopters Bc