Bai, J. Chang, X. Rodríguez, Ricardo J. Trivedi, K. S. Li, S. Towards UAV-based MEC service chain resilience evaluation: a quantitative modeling approach IEEE trans. veh. technol. 10.1109/TVT.2022.3225564 2023 2023