Model Checking Based Unmanned Aerial Vehicle (UAV) Security Analysis | IEEE Conference Publication | IEEE Xplore