Text this: Design, Verification and Implementation of a Watchdog Timer for Drone Applications.