An extreme ultraviolet radiation source based on a gas discharge plasma | IEEE Conference Publication | IEEE Xplore