Figure 2: (a) Memoryless Time Bomb state machine; (b) equivalent extended state machine with extended state variable timeout.