In the event that an employee dies who has had a time bank established in his name, the remaining value of the time left in the bank will be treated as a death benefit and will be distributed in the same manner as any other death benefit.