Deriving sensible requirements for UAV sense-and-avoid systems | IEEE Conference Publication | IEEE Xplore