Text this: Digital frequency demodulation for a laser vibrometer