19.3.2 Watchdog Timer Use Models