Cyber-Physical Analysis and Hardening of Robotic Aerial Vehicle Controllers