Model-Driven Requirements for Humans-on-the-Loop Multi-UAV Missions | IEEE Conference Publication | IEEE Xplore