A constraint-based flight control system architecture for UAVs using the iTaSC framework | IEEE Conference Publication | IEEE Xplore