Phase locking in an infrared short-pulse free-electron laser | IEEE Journals & Magazine | IEEE Xplore