Betaalde werktijd, wat is dat precies?

Een werknemer moet tien minuten voor de start van zijn dienst aanwezig zijn, op grond van de planningsregels van zijn werkgever. Gelden die tien minuten als betaalde werktijd?