Subpicosecond timing control using optical double-pulses correlation measurement | IEEE Journals & Magazine | IEEE Xplore