High-average-power femtosecond KrF excimer laser | IEEE Journals & Magazine | IEEE Xplore