1 This file defines the coverage for the behavior/timers section. 2 3 ASSERTION COVERED? 4 1 YES 5 2 YES 6