A Development Platform To Evaluate Uav Runtime Verification Through Hardware-In-The-Loop Simulation