An employee who is—
is entitled to be permitted by his employer to take reasonable time off during the employee's working hours in order to perform his functions as such an employee representative or candidate or in order to undergo training to perform such functions.
For the purposes of this section the working hours of an employee shall be taken to be any time when, in accordance with his contract of employment, the employee is required to be at work.