Specifying commercial atomic frequency standards using statistics | IEEE Conference Publication | IEEE Xplore