How do you implement and service a watchdog timer in a multi-threaded RTOS application at Benchmark Space Systems?