Use synthetic times for replies before, exactly at and after a deadline, plus a delayed processing case. Which assumptions must the exercise state explicitly?
Read Operator Brief: Test a Deadline Boundary.