Use Of Model-Based Design Methods For Enhancing Resiliency Analysis Of Unmanned Aerial Vehicles