Quick search by citation:

5 U.S. Code § 6125 - Flexible schedules; time-recording devices

Notwithstanding section 6106 of this title, the Office of Personnel Management or any agency may use recording clocks as part of programs under section 6122 of this title.