Formation-containment tracking and scaling for multiple quadcopters with an application to choke-point navigation | IEEE Conference Publication | IEEE Xplore