A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods.