ForDeen: Towards Formal Design for Ensuring Reliable UAV-Assisted Multi-Access Edge Computing: A Scenario-Based Approach. - Yuxuan Wang; Charlie Wingate; Jingshu Chen (MOST, 2023)