Resilient Operation of Unmanned Aircraft System Traffic Management: models and theories