1139-2008 - IEEE Standard Definitions of Physical Quantities for Fundamental Frequency and Time Metrology--Random Instabilities - Redline