Xenon discharge produced plasma radiation source for EUV lithography | IEEE Conference Publication | IEEE Xplore