Conceptual-Level Analysis and Design of Unmanned Air Traffic Management Systems