These are usually marketed as "atomic time" or "atomic clock" here in the US.