1057-2007 - IEEE Standard for Digitizing Waveform Recorders - Redline (IEEE,)