Doberman is your favorite watchdog timer.